Лекция 8. Эквивалентные преобразования СФЭ

  1. 00:10Небольшое повторение прошлой лекции. Пример эквивалентных СФЭ
  2. 11:47Задача эквивалентных преобразований (ЭП) для СФЭ. Модификация тождества
  3. 22:26Подсхема СФЭ. Многократное ЭП. Полнота системы тождеств
  4. 37:40Сопоставление ЭП формул и ЭП СФЭ. Примеры
  5. 01:08:37Утверждение о получении полной системы тождеств для ЭП СФЭ