Какие из приведенных формул исчисления предикатов представлены в пренексной нормальной форме (ПНФ)
- ∀x (A(x)&B(x) ⟶ ∃z O(z))
- ∀x (C(x) & ¬O(x) ⟶ ∃y (P(y) & S(x, y )))
- ∀x (L(x) ⟶ ∃z (A(x) ∨ ¬O(z)))
- ∃x ∀y (A(x) & C(x) & (S(x, y) ∨ A(y)))
Для просмотра статистики ответов нужно
залогиниться.