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:

    Dada doubts everything. Dada is an armadillo. Everything is Dada, too. Beware of Dada. Anti-dadaism is a disease: selfkleptomania, man’s normal condition, is Dada. But the real dadas are against Dada.
    Tristan Tzara (1896–1963)

    It is against Stupidity in every shape and form that we have to wage our eternal battle. But how can we wonder at the want of sense on the part of those who have had no advantages, when we see such plentiful absence of that commodity on the part of those who have had all the advantages?
    William Booth (1829–1912)