A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers (referred to as the prefix) followed by a quantifier-free part (referred to as the matrix).
Every formula in classical logic is equivalent to a formula in prenex normal form. For example, if, and are quantifier-free formulas with the free variables shown then
is in prenex normal form with matrix, while
is logically equivalent but not in prenex normal form.
Read more about Prenex Normal Form: Conversion To Prenex Form, Use of Prenex Form
Famous quotes containing the words normal and/or form:
“It is normal to give away a little of one’s life in order not to lose it all.”
—Albert Camus (1913–1960)
“The Divine Vision still was seen,
Still was the human form divine
Weeping in weak & mortal clay;
O Jesus, still the form was thine!”
—William Blake (1757–1827)