Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

109 булевых функций по переменным. Построение СДНФ для функции, заданной таблично. 2. Минимизация булевых функций Минимизация функций. Порождение простых импликантов. Алгоритм Куайна и Мак-Клоски. Таблицы простых импликантов. 10 3. Полнота и замкнутость систем логических функций Решение задач на доказательство замкнутости класса. Класс самодвойственных функций. Решение задач с несамодвойственными функциями. Класс монотонных функций. Решение задач с немонотонными функциями. Класс линейных функций. Решение задач с нелинейными функциями. 4 4. Исчисление высказываний и предикатов Решение задач с использованием метода резолюций для исчисления высказываний. Применение кванторов. Поиск предваренной нормальной формы (ПНФ). Поиск скулемовской стандартной формы. Подстановка и унификация для ПНФ. Применение алгоритма унификации. Применение метода резолюций в исчислении предикатов. 14 Итого: 36