Home / Logic / Mutual exclusivity
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)"))
| \(P\) | \(Q\) | \(\lnot (P \land Q)\) |
|---|---|---|
| false | false | true |
| false | true | true |
| true | false | true |
| true | true | false |