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