Home / Logic / Conjunction
Truth table
Construct the truth table for the statement \(P \land Q\).
<<scheme/org-truth-table>>
(org-truth-table (lambda (p q) (and p q)) '("P" "Q" "P \\land Q"))
| \(P\) | \(Q\) | \(P \land Q\) |
|---|---|---|
| false | false | false |
| false | true | false |
| true | false | false |
| true | true | true |