Mutual exclusivity

Define

A joined property of the statements \(P\) and \(Q\), read

if and only if

which means that

\[\begin{equation*}
  \lnot (P \land Q)
\end{equation*}
\]

is a tautology.

Name

• Mutually exclusive statements
• Disjoint statements

Explore

Construct the truth table for the statement

\[\begin{equation*}
  \lnot (P \land Q).
\end{equation*}
\]

<<scheme/org-truth-table>>
(org-truth-table (lambda (p q) (not (and p q)))
                 '("P" "Q" "\\lnot (P \\land Q)"))