De Morgan’s laws
A pair of tautologies that capture an important relationship between
conjunction, disjunction, and negation,
where
\begin{align*} \lnot (P \land Q) & \iff \lnot P \lor \lnot Q \\ \lnot (P \lor Q) & \iff \lnot P \land \lnot Q. \end{align*}