prenex normal form
Logic
noun
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.