Модуль 2. Булевы функции
2.1 Представление логических функций
2.2 Логические формулы. Булева алгебра
2.3 Совершенные нормальные формы
2.4 Минимизация СДНФ
2.4.1 Карты Карно
2.4.2 Метод Квайна-Мак'Класки
2.4.3 Системы функций алгебры логики
2.5 Замкнутые классы булевых функций
2.6 Критерий полноты системы булевых функций
2.7 Примеры решения задач
Лабораторная работа 6