Rudolf Adamkovič Personal site


Truth table

Construct the truth table for the statement

\[\begin{equation*}
  P \implies Q \> \equiv \> \lnot P \lor Q.
\end{equation*}
\]
<<scheme/org-truth-table>>
(org-truth-table (lambda (p q) (or (not p) q))
                 '("P" "Q" "P \\implies Q"))
\(P\)\(Q\)\(P \implies Q\)
falsefalsetrue
falsetruetrue
truefalsefalse
truetruetrue

[1, Sec. 0.2], [9, Sec. 5.1]


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