Conjunctive Normal Form - Examples and Counterexamples

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:

    No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.
    André Breton (1896–1966)