Clausal Normal Form

The clausal normal form (or clause normal form, conjunctive normal form, CNF) of a logical formula is used in logic programming and many theorem proving systems. A formula in clause normal form is a set of clauses, interpreted as a conjunction. A clause is an implicitly universally quantified set of literals, interpreted as a disjunction.

Read more about Clausal Normal Form:  Conversion To Clausal Normal Form

Famous quotes containing the words normal and/or form:

    “Insecurity, commonly regarded as a weakness in normal people, is the basic tool of the actor’s trade.”
    —Miranda Richardson (b. 1958)

    “A form upon the quilted
    overcast, gleam, Sacrè
    Coeur, saltlick
    to the mind’s
    desire”
    —Denise Levertov (b. 1923)