Математическая логика и теория алгоритмов

ПРИЛОЖЕНИЕ Чтобы дойти до цели, надо прежде всего идти. О. Бальзак Варианты типового задания 1. Записать' приведенное высказывание в виде формулы логики высказываний. Для полученной формулы составить таблицу истинности. 2. Упростить формулу логики высказываний, используя основ­ ные равносильности между формулами. 3. Составить программу нахойсдения с.к.н.ф. на любом извест­ ном вам алгоритмическом языке и найдите с.к.н.ф. для заданной буле­ вой функции. Проверить полученный результат, построив с.к.н,ф, равносильными преобразованиям. 4. Методом резолюций выяснить, истинно ли приведешюе утверждение. Решить эчу задачу, используя два метода из следующих: метод исчерпания уровня, стратегию вычеркивания, лок-резолюцию и табличный метод (последний для случая, если заданное множество является множеством хорновских дизъюнктов). 5. Записать предложение в виде формулы логшси предикатов. 6. Привести пример интерпретации, для которой данная фор­ мула истинна. 7. Получить предваренные нормальные формы и сколемовские стандартные формы для данных формул. 296