Ложкин С. А. - Основы кибернетики - Формула алгебры логики

0:00:09 1. Базис, функциональный элемент, входной и выходной алфавиты 0:09:15 2. Индуктивное (по глубине) определение формулы 0:15:58 3. Формула как граф. Пример 0:26:35 4. Функционалы сложности формул 0:33:18 5. Утверждение о связи функционалов сложности 0:42:04 6. Эквивалентность и изоморфизм формул. Подформула. Принцип эквивалентной замены 0:50:49 7. Известные тождества формул. Преобразования подобия 0:58:37 8. Формула с поднятыми отрицаниями 1:04:45 9. Оптимизация подобных формул по глубине. Альтернирование