Home / Logic / Mutual exclusivity
Normal form
As a disjunction, mutual exclusivity 1 is
\begin{equation*} \lnot P \lor \lnot Q. \end{equation*}TODO Iterated form; used for SAT solving…
Footnotes:
1
Important for SAT solvers that accepts only conjunctive normal form.