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 |