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:
“The obese is ... in a total delirium. For he is not only large, of a size opposed to normal morphology: he is larger than large. He no longer makes sense in some distinctive opposition, but in his excess, his redundancy.”
—Jean Baudrillard (b. 1929)
“I have discovered the most exciting, the most arduous literary form of all, the most difficult to master, the most pregnant in curious possibilities. I mean the advertisement.... It is far easier to write ten passably effective Sonnets, good enough to take in the not too inquiring critic, than one effective advertisement that will take in a few thousand of the uncritical buying public.”
—Aldous Huxley (1894–1963)