Содержание .................... 4
ВВЕДЕНИЕ........................ 5
§1. Булевы функции. Таблицы истинности ........ 6
Задачи к §1 ....................... 7
§2. Равносильность булевых функций .... 9
Задачи к §2 ......................... 10
§3. Преобразование булевых функций
Задачи к §3 ....................... 13
§4. Функциональная полнота..... 16
Задачи к §4 ...................... 18
§5. Булева алгебра. Нормальные формы .. 21
Задачи к §5 .......................... 24
§6. Минимальные формы ....... 26
Задачи к §6 ......................... 31
§7. Алгебра Жегалкина .... 33
Задачи к §7 ........................ 35
§8. Алгебра высказываний.... 36
Задачи к §8 .......................... 37
§9. Предикаты...................... 38
Задачи к §9 ....................... 40
§10. Исчисление высказываний (ИВ)..... 42
Задачи к §10 .................... 45
§11. Машина Тьюринга ..... 46
Задачи к §11 ..................... 48
Вариант контрольной работы ...... 50
ЛИТЕРАТУРА................... 51