Useful logical equivalences: - [[De Morgan's Laws for Union]]. - $\lnot(A \land B) \iff (A \to \lnot B) \iff (B \to \lnot A)$. - $(A \to B) \iff (\lnot A \lor B)$