ド・モルガンの法則
De Morgan's laws provide a way of distributing negation over disjunction and conjunction: