ВУЗ:
Составители:
Рубрика:
76
СОДЕРЖАНИЕ
4. Алгебра высказываний
3
4.1 Высказывания. Операции над высказываниями. Формулы
алгебры высказываний. Таблицы истинности
3
4.2 Равносильные формулы. Основные равносильности ал-
гебры высказываний
10
4.3 Решение логических задач с помощью алгебры
высказываний
12
5. Алгебра Буля
16
5.1 Булевы функции. Равенство функций и равносильность
формул. Принцип двойственности
16
5.2 Дизъюнктивные и конъюнктивные нормальные формы 21
5.3 Классификация ДНФ. Минимизация булевых функций 26
5.4 Совершенные нормальные формы 30
5.5 Приложение алгебры логики к релейно-контактным схе-
мам
36
6. Полином Жегалкина. Линейные и нелинейные функции
42
7. Операция замыкания. Основные замкнутые классы
46
8. Полнота систем булевых функций
50
9. Предикаты. Операции над предикатами
55
10. Применение логики предикатов в математике
64
11. Машина Тьюринга
69
Литература 75
СОДЕРЖАНИЕ
4. Алгебра высказываний 3
4.1 Высказывания. Операции над высказываниями. Формулы
3
алгебры высказываний. Таблицы истинности
4.2 Равносильные формулы. Основные равносильности ал-
10
гебры высказываний
4.3 Решение логических задач с помощью алгебры
12
высказываний
5. Алгебра Буля 16
5.1 Булевы функции. Равенство функций и равносильность
16
формул. Принцип двойственности
5.2 Дизъюнктивные и конъюнктивные нормальные формы 21
5.3 Классификация ДНФ. Минимизация булевых функций 26
5.4 Совершенные нормальные формы 30
5.5 Приложение алгебры логики к релейно-контактным схе-
36
мам
6. Полином Жегалкина. Линейные и нелинейные функции 42
7. Операция замыкания. Основные замкнутые классы 46
8. Полнота систем булевых функций 50
9. Предикаты. Операции над предикатами 55
10. Применение логики предикатов в математике 64
11. Машина Тьюринга 69
Литература 75
76
