De Morgan's Theorem

(Redirected from De Morgan's Law)
Jump to navigation Jump to search

De Morgan's Theorem is a Theorem from the field of Logic Systems about the conversion of a CNF Formula into a DNF Formula, and vice versa.


  • (Wikipedia, 2009) ⇒
    • In formal logic, De Morgan's laws are rules relating the logical operators "and" and "or" in terms of each other via negation, namely:
      • NOT (P OR Q) = (NOT P) AND (NOT Q)
      • NOT (P AND Q) = (NOT P) OR (NOT Q)