Булевы переменные и функции.
Операции булевой алгебры.
Эквивалентные формулы.
Основные эквивалентности.
Дизъюнктивная нормальная форма (ДНФ).
Совершенная ДНФ. Минимизация ДНФ.
Конъюнктивная нормальная форма (КНФ).
Совершенная КНФ. Минимизация КНФ.
Полиномиальное разложение: СПНФ.
Канонический полином Жегалкина.
Арифметический полином.