ВУЗ:
Составители:
Рубрика:
3
ОГЛАВЛЕНИЕ
Тема. Введение в алгебру логики_____________________5
1. Историческая справка. Прямое произведение
множеств. Соответствия и функции. Алгебры________________5
2. Функции алгебры логики. Примеры логических функций__5
3. Суперпозиции и формулы. Булева Алгебра____________12
4. Принцип двойственности. Совершенная дизъюнктивная
нормальная форма (СДНФ).Разложение булевых функций по
переменным_____________________________________________15
5. Построение СДНФ для функции, заданной таблицей.
Представление логических функций
булевыми формулами.
Совершенная конъюнктивная нормальная форма (СКНФ).
Основные эквивалентные преобразования___________________20
Тема. Минимизация булевых функций_______________24
6. Проблема минимизации. Порождение простых
импликантов. Алгоритм Куайна и Мак-Клоски_______________24
7. Таблицы простых импликантов_____________________28
Тема. Полнота и замкнутость систем логических
функций_______________________________________________33
8. Основные определения. Основные замкнутые классы___33
Тема. Исчисление высказываний____________________41
9. Общие принципы построения формальной
теории. Интерпретация, общезначимость
, противоречивость,
логическое следствие_____________________________________41
10. Метод резолюций для исчисления высказываний______44
