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