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