Rudy’s OBTF Rudolf Adamkovič

Home / Logic / Mutual exclusivity


Conjunctive normal form

In conjunctive normal form, mutual exclusivity is

\begin{equation*} \lnot P \lor \lnot Q, \end{equation*}

by De Morgan’s laws.


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