Выбрать сколемовскую нормальную форму для∃x1∀x2∀x3∃x4∀x5∃x6((P1(x1, x2)∨¬P2(x3,x4,x5))&P3(x4,x6)).

  • (( P 1 ( x 1 , x 2 )∨¬P 2 (x 3 ,x 4 ,x 5 ))&P 3 (x 4 ,x 6 )).
  • (P 1 (a,x 2 ) ∨ ¬P 2 (x 3 ,f 1 (x 2 ,x 3 ),x 5 ))&P 3 (f 1 (x 2 ,x 3 ),f 2 (x 2 ,x 3 ,x 5 ))
  • ∀ x 2 ∀ x 3 ∀ x 5 (( P 1 ( x 1 , x 2 )∨¬P 2 (x 3 ,x 4 ,x 5 ))&P 3 (x 4 ,x 6 )).
  • ∀ x2 ∀ x3 ∀ x5 ((P 1 (a,x 2 ) ∨ ¬P 2 (x 3 ,f 1 (x 2 ,x 3 ),x 5 ))&P 3 (f 1 (x 2 ,x 3 ),f 2 (x 2 ,x 3 ,x 5 )))
  • ∀ x2 ∀ x3 ∀ x5 ((P 1 (a,x 2 ) ∨ ¬P 2 (x 3 ,f(x 2 ,x 3 ),x 5 ))&P 3 (f(x 2 ,x 3 ),f(x 2 ,x 3 ,x 5 )))
Для просмотра статистики ответов нужно залогиниться.