Rudolf Adamkovič Personal site


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\)
falsefalsefalse
falsetruetrue
truefalsetrue
truetruetrue

© 2024 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and the secret alien technologies of yesteryear.