De Morgan's Theorem

From GM-RKB
(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.



References

  • (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/De_Morgan%27s_laws
    • 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)