Модуль 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