Множество. Алгебра множеств. Теория булевых функций. Булева алгебра. Определение и способ задания булевых функций. Дизъюнктивные нормальные формы (ДНФ).Конъюнктивные нормальные формы (КНФ). Метод Квайна – Мак-Клоски для нахождения минимальной ДНФ. Функционально полные системы функций. Графы.