Examples and Counterexamples
All of the following formulas are in CNF:
The last formula is in CNF because it can be seen as the conjunction of the two single-literal clauses and . Incidentally, this formula is also in disjunctive normal form. The following formulas are not in CNF:
The above three formulas are respectively equivalent to the following three formulas that are in CNF:
Read more about this topic: Conjunctive Normal Form
Famous quotes containing the word examples:
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (1533–1592)
Related Phrases
Related Words