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:
“You have promise, Mlle. Dubois, but you must choose between an operatic career and what is usually called “a normal life.” Though why it is so called is beyond me.”
—Eric Taylor, Leroux, and Arthur Lubin. M. Villeneuve (Frank Puglia)
“For women who do not love us, as for the “disappeared”, knowing that we no longer have any hope does not prevent us form continuing to wait. We live on our guard, on watch; women whose son has gone asea on a dangerous exploration imagine at any minute, although it has long been certain that he has perished, that he will enter, miraculously saved, and healthy.”
—Marcel Proust (1871–1922)