Up: Disjunction [Top][Contents]
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"))