@Kirill321

1)Пусть C = A V L , D = B V 7L тогда резольвентой дизъюнктов С и D называется дизъюнкт:
Выберите один ответ:
a. A V B V 7L
b. L
c. A V B
d. A V B V L

2)Какая формула находится в сколемовской нормальной форма ( СНФ )
Выберите один ответ:
a. ЭХ ЭУ ЭZ (R(x,y ) V Q(x,z,y))
b. \-/Х \-/Z (R(x,f(z)) V Q(x,z,g(x)))
c. Эu \-/х ЭУ \-/Z (R(x,y) & Q(u,z,y))
d. \-/Х ЭУ \-/Z (R(x,f(x)) V Q (a,z,y))

3)Какая из следующих равносильностей не верна
Выберите один ответ:
a. \-/Х \-/У Р(х,у) = \-/У \-/Х Р(х,у)
b. \-/Х ЭУ Р(х,у) = ЭУ \-/Х Р(х,у)
c. 7(ЭХ Р(х)) = \-/Х 7Р(х)
d. 7(\-/Х Р(х)) = ЭХ 7Р(х)

4)Какая из следующих рекурсивных функций не является базисной (элементарной)
Выберите один ответ:
a. нуль функция O (x ) = 0
b. функция следования S (x ) = x + 1
c. сумма f(x1 , x2 ) = x1 + x2
d. функция выбора Im (x1, … , xn ) = xm

0