Formula je u prenex normalnoj formi ako je takva da prvo idu kvantifikatori pa onda formula, tako da u formuli nema kvantifikatora.
Rečenica ∀x. x = 0 ∨ ¬(x = 0) je u prenex normalnoj formi
Rečenica ¬(∀x. x = 0) ⇔ (∃x. ¬(x = 0)) nije u prenex normalnoj formi
Formula koja je u NNF može se prevesti u prenex normalnu formu primenama ekvivalencija navedenih u 3 Pravila transformaciije
Svaka formula može da se napiše u prenex normalnoj formi.