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:
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (1670–1733)