Какие из приведенных четырёх формул логики предикатов - Ответ на вопрос по ИИС №173065

Вопрос

Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ)
1. Vx (C(x) & -O(x) ->3y (P(y) & S(x, y )))
2. 3x Vy (A(x) & C(x) & (S(x, y) v A(y)))
3. Vx (L(x) v A(x) V-O(x))
4. Vx (A(x)&B(x) ->-O(x))

• В ПНФ представлены формулы 2 и 3
• Ни одна из формул не представлена в ПНФ
• Все формулы представлены в ПНФ
• Все формулы, кроме первой, представлены в ПНФ

Ответ