ВАРИАНТ 5
Задание №1
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:
(AUB)&(AUC)|-AU(B&C)
Задание №2
Пусть - множество людей. На множестве заданы следующие предикаты:
Е(х,у)=И х и у – один и тот же человек;
Р(х,у)=И х родитель у;
С(х,у)=И х и у – супруги;
М(х)=И х – мужчина;
W(х)=И х – женщина.
С использованием этих предикатов записать формулу, выражающую утверждение: Х – прадедушка.
Задание №3
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.
|