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

95 двойственности, по принципу двойственности и по таблице. 4. Проверка справедливости соотношения. 5. Построить минимальное представление исходной функции f с помощью алгоритма Куайна-МакКлоски и последующего выделения ядра. 6. Проверить является ли высказывание логическим следствием (двумя способами: любая из двух теорем и метод резолюций). 7. Найти предваренную и скулемовскую нормальные формы для формулы. 8. Проверить принадлежность функции классам монотонных функций, самодвойственных функций, линейных функций. 7.Задания для самостоятельной работы по темам Для самостоятельной работы по теме «Исчисление высказываний» рекомендуется выполнить следующее задание: Решение задач из сборника «Гаврилов Г.П., Сапоженко А.А. «Задачи и упражнения по курсу дискретной математики».// М.: "ФИЗМАТЛИТ", 2009 г., 416 c.» 8.Перечень рефератов и/или курсовых работ по темам 1. Исследование логических функций на принадлежность логическим классам. 2. Решение логических задач по теме «исчисление высказываний». 3. Решение логических задач по теме «исчисление предикатов».