Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ)
- В ПНФ представлены формулы 2 и 3
- Все формулы представлены в ПНФ
- Все формулы, кроме первой, представлены в ПНФ
- Ни одна из формул не представлена в ПНФ
К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.