Ссылки на литературу по перечисленным вопросам:
Функции алгебры логики от n переменных. Их число.
(КА 3.1 с.50 )
Задание булевой функции таблицей истинности и формулой.
(КА 3.1 с.51,54 )
Фиктивные переменные.
(КА 3.1 с.51 )
Булевы функции от одной и двух переменных.
(КА 3.1 с.52 )
Конъюнктивные нормальные формы.
(КА 3.2 с.63 )
Дизъюнктивные нормальные формы.
(КА 3.2 с.56 )
Свойства операций И,ИЛИ,НЕ.
(КА 3.2 с.59 )
Эквивалентные преобразования и правила упрощения.
(КА 3.2 с.61 )
Исключение конъюнкций с помощью покрытия интервалов.
(КА 3.2 с.69 )
Алгебра Жегалкина, представление булевых функций.
(КА 3.3 с.71 )
Возврат