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