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