Тест содержит вопросы по следующим темам: 1. Булева алгебра. Основные высказывания и переменные. Основной базис алгебры логики. Аксиомы. 2. Теоремы о функциях одной переменной. Теоремы о функциях двух и трёх переменных. Теоремы о функциях n-переменных. Принцип двойственности. 3. Логические функции. Стандартные представления логических функций. 4. Минимизация логических функций. Совершенная дизъюнктивная и совершенная конъюнктивная формы. Диаграммы Вейча и карты Карно.