Conversion To Prenex Form
Every first-order formula is logically equivalent (in classical logic) to some formula in prenex normal form. There are several conversion rules that can be recursively applied to convert a formula to prenex normal form. The rules depend on which logical connectives appear in the formula.
Read more about this topic: Prenex Normal Form
Famous quotes containing the words conversion and/or form:
“The conversion of a savage to Christianity is the conversion of Christianity to savagery.”
—George Bernard Shaw (1856–1950)
“Our ability to fall in love requires enough comfort with our masculinity to join it with someone’s femininity and feel enhanced. . . . If our mother made us feel secure and proud in our masculinity, then we want to find that again in our wife. If we are really comfortable with our mother, we can even marry a woman who is a friend rather than an adversary, and form a true partnership.”
—Frank Pittman (20th century)