Лекция 1. ДНФ функции алгебры логики
- 00:10Организационные вопросы
- 01:36Введение: о кибернетике, системах управления, курсе, его разделах и сферах применения
- 16:34Вводные слова. Булевы множества
- 22:40Отношения полного/линейного и частичного монотонного порядков. Отношение соседства. Вес набора
- 29:59Геометрическая интерпретация: рёбра, слои, грани (их представления, мощность и количество в кубе)
- 49:05Определение функции алгебры логики (ФАЛ). Важные понятия
- 52:58Существенная и несущественная зависимости ФАЛ от переменных. Равенство ФАЛ. Множества ФАЛ
- 01:00:54Примеры со стандартными ФАЛ
- 01:08:29Представление ФАЛ дизъюнктивными нормальными формами (ДНФ)
- 01:24:02Совершенная ДНФ (СДНФ). Утверждение о единственности СДНФ