Методические указания к выполнению расчетно-графической работы по математической логике и теории алгоритмов

3 Цель расчетно-графической работы По дисциплине выполняется расчетно-графическая работа (РГР). Цель РГР - закрепление навыков решения задач по курсу. РГР состоит в решении задач по следуюш,им темам: • построение и преобразование формул логики высказываний, в том числе с использованием ЭВМ; • символизация языка с использованием связок, кванторов и предикатов; • преобразование формул логики предикатов; • метод резолюций, стратегии метода резолюций; • доказательства теорем в исчислении высказываний; • нормальные алгоритмы и алгоритмы Тьюринга; • многозначные логики. Каждому студенту выдается 1-3 задачи по каждой из перечисленных тем. Задание выполняется в отдельной тетради и сдается преподавателю. Теоретический материал для выполнения заданий содержится в конспекте лекции по дисциплине, в учебном пособии и в литературе, указанной в рабочей программе дисциплины. Задания по РГР (по варианту, указанному преподавателем) L Запишите приведенное высказывание в виде формулы логики высказываний. Для полученной формулы составьте таблицу истинности. 2. Упростите формулу логики высказываний, используя основные равносильности между формулами. 3. Составьте программу нахождения с.к.н.ф. на любом известном вам алгоритмическом языке и найдите с.к.н.ф. для заданной булевой