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:
“Every normal person, in fact, is only normal on the average. His ego approximates to that of the psychotic in some part or other and to a greater or lesser extent.”
—Sigmund Freud (1856–1939)
“Racism? But isn’t it only a form of misanthropy?”
—Joseph Brodsky (b. 1940)
Related Phrases
Related Words