Teorema 1.3.7. Hukum De Morgan.
Negasi dari suatu disjungsi atau konjungsi masing-masing ekuivalen secara logis dengan konjungsi atau disjungsi dari negasi-negasinya. Artinya,
\begin{equation*}
\neg(P \wedge Q) \equiv \neg P \vee \neg Q
\end{equation*}
dan,
\begin{equation*}
\neg(P \vee Q) \equiv \neg P \wedge \neg Q\text{.}
\end{equation*}