De Morgan's laws
De Morgan's laws provide a way of distributing negation over disjunction and conjunction: