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:
“Cant is always rather nauseating; but before we condemn political hypocrisy, let us remember that it is the tribute paid by men of leather to men of God, and that the acting of the part of someone better than oneself may actually commit one to a course of behaviour perceptibly less evil than what would be normal and natural in an avowed cynic.”
—Aldous Huxley (1894–1963)
“The complaint ... about modern steel furniture, modern glass houses, modern red bars and modern streamlined trains and cars is that all these objets modernes, while adequate and amusing in themselves, tend to make the people who use them look dated. It is an honest criticism. The human race has done nothing much about changing its own appearance to conform to the form and texture of its appurtenances.”
—E.B. (Elwyn Brooks)