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