Definition of prenex normal form in US English:

prenex normal form

noun

Logic
  • A form of expressing a logical formula in which all the quantifiers are placed before an open sentence, each quantifier affects the whole sentence and is associated with a different variable, and each variable occurs in the sentence.

Origin

1940s.