Пренексная (предваренная) нормальная форма ПНФ – формула, состоящая из префикса, т.е. конечной последовательности кванторов и матрицы, т.е. формулы, не содержащей кванторов.
В общем виде ПНФ:
M – бескванторная формула, называемая матрицей
Примеры:
Теорема:
Для всякой формулы F существует формула G, равносильная F и имеющая предваренную нормальную форму.
Для любой логической формулы существует логически эквивалентная ей ПНФ, т.е. любая формула исчисления предикатов 1-го порядка может быть преобразована в ПНФ с помощью определенного алгоритма.
http://ru.convdocs.org/docs/index-161912.html?page=5