Personal website Rudolf Adamkovič

Home / Logic


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*}

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.