# 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.

**AKA:**De Morgan's Law, DeMorgan's Law.**Context:****See:**Logic Sentence.

## 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)

- In formal logic, De Morgan's laws are rules relating the logical operators "and" and "or" in terms of each other via negation, namely: