De Morgan's laws
De Morgan's laws for set theory
De Morgan's laws for Boolean algebra
De Morgan's laws for classical propositional logic