x 1.00
Лекция 6. Формула алгебры логики
- 00:10Базис, функциональный элемент, входной и выходной алфавиты
- 09:15Индуктивное (по глубине) определение формулы
- 15:58Формула как граф. Пример
- 26:35Функционалы сложности формул
- 33:18Утверждение о связи функционалов сложности
- 42:04Эквивалентность и изоморфизм формул. Подформула. Принцип эквивалентной замены
- 50:49Известные тождества формул. Преобразования подобия
- 58:37Формула с поднятыми отрицаниями
- 01:04:45Оптимизация подобных формул по глубине. Альтернирование