Prenex Normal Form - Conversion To Prenex Form

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)

    Cry cry what shall I cry?
    The first thing to do is to form the committees:
    The consultative councils, the standing committees, select committees and sub-committees.
    One secretary will do for several committees.
    —T.S. (Thomas Stearns)