Monday, June 01, 2009

De Morgan's laws

De Morgan's 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)"