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

1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2.Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И x и y – один и тот же человек;
P(x, y) = И x родитель y;
C(x, y) = И x и y – супруги;
M(x) = И x – мужчина;
W(x) = И x – женщина.
3.Привести формулу к предваренной форме
4.Построить машину Тьюринга для перевода из одной конфигурации в другую......
5.Показать примитивную рекурсивность функции f(x,y)