Rudy’s OBTF Rudolf Adamkovič

Home / Logic / Negation

Truth table

The truth table for the statement \(\lnot P\) is 

<<scheme/org-truth-table>>
(org-truth-table not '("P" "\\lnot P"))
© 2025 Rudolf Adamkovič under GNU General Public License (GPL) version 3 or later.
Made with Emacs and secret alien technologies of yesteryear.