01/06/2025, 00:30 Truth Table Generator

Home > Etc > Truth Table Generator

Truth Table Generator

This page contains a program that will generate truth tables for formulas of propositional logic. You can
enter multiple formulas separated by commas to include more than one formula in a single table (e.g. to
test for entailment). Below you can select which symbols to use for the truth-values and connectives, the
style of the table (full table, main connective only, plain text, or LaTeX output), and (by special request!) two-
valued or different types of three-valued tables.

(C v (J v (D v I))), (T v (E v P)), (J > (T v E)), ~(C & P), ~(C Generate Table

CDE I J PT C∨(J∨(D∨I)) T∨(E∨P) J→(T∨E) ~(C&P) ~(C&T) C→~J (P&~J

TT TTTTT T T T F F F
TT TTTTF T T T F T F
TT TTTF T T T T T F F
TT TTTF F T T T T T F
TT TTFTT T T T F F T
TT TTFTF T T T F T T
TT TTFF T T T T T F T
TT TTFF F T T T T T T
TT TFTTT T T T F F F
TT TFTTF T T T F T F
TT TFTF T T T T T F F
TT TFTF F T T T T T F
TT TFFTT T T T F F T
TT TFFTF T T T F T T
TT TFFF T T T T T F T
TT TFFF F T T T T T T
TT FTTTT T T T F F F
TT FTTTF T T F F T F
TT FTTF T T T T T F F
TT FTTF F T F F T T F
TT FTFTT T T T F F T
TT FTFTF T T T F T T
TT FTFF T T T T T F T
TT FTFF F T F T T T T
TT FFTTT T T T F F F
TT FFTTF T T F F T F
TT FFTF T T T T T F F
TT FFTF F T F F T T F
TT FFFTT T T T F F T
TT FFFTF T T T F T T
TT FFFF T T T T T F T
TT FFFF F T F T T T T
TF TTTTT T T T F F F
TF TTTTF T T T F T F
TF TTTF T T T T T F F
TF TTTF F T T T T T F
TF TTFTT T T T F F T
TF TTFTF T T T F T T
TF TTFF T T T T T F T
TF TTFF F T T T T T T
TF TFTTT T T T F F F
TF TFTTF T T T F T F
TF TFTF T T T T T F F
TF TFTF F T T T T T F

https://mrieppel.net/prog/truthtable.html 1/3
01/06/2025, 00:30 Truth Table Generator
TF TFFTT T T T F F T
TF TFFTF T T T F T T
TF TFFF T T T T T F T
TF TFFF F T T T T T T
TF FTTTT T T T F F F
TF FTTTF T T F F T F
TF FTTF T T T T T F F
TF FTTF F T F F T T F
TF FTFTT T T T F F T
TF FTFTF T T T F T T
TF FTFF T T T T T F T
TF FTFF F T F T T T T
TF FFTTT T T T F F F
TF FFTTF T T F F T F
TF FFTF T T T T T F F
TF FFTF F T F F T T F
TF FFFTT T T T F F T
TF FFFTF T T T F T T
TF FFFF T T T T T F T
TF FFFF F T F T T T T
F T TTTTT T T T T T T
F T TTTTF T T T T T T
F T TTTF T T T T T T T
F T TTTF F T T T T T T
F T TTFTT T T T T T T
F T TTFTF T T T T T T
F T TTFF T T T T T T T
F T TTFF F T T T T T T
F T TFTTT T T T T T T
F T TFTTF T T T T T T
F T TFTF T T T T T T T
F T TFTF F T T T T T T
F T TFFTT T T T T T T
F T TFFTF T T T T T T
F T TFFF T T T T T T T
F T TFFF F T T T T T T
F T FTTTT T T T T T T
F T FTTTF T T F T T T
F T FTTF T T T T T T T
F T FTTF F T F F T T T
F T FTFTT T T T T T T
F T FTFTF T T T T T T
F T FTFF T T T T T T T
F T FTFF F T F T T T T
F T FFTTT T T T T T T
F T FFTTF T T F T T T
F T FFTF T T T T T T T
F T FFTF F T F F T T T
F T FFFTT T T T T T T
F T FFFTF T T T T T T
F T FFFF T T T T T T T
F T FFFF F T F T T T T
F F TTTTT T T T T T T
F F TTTTF T T T T T T
F F TTTF T T T T T T T

https://mrieppel.net/prog/truthtable.html 2/3
01/06/2025, 00:30 Truth Table Generator
F F TTTF F T T T T T T
F F TTFTT T T T T T T
F F TTFTF T T T T T T
F F TTFF T T T T T T T
F F TTFF F T T T T T T
F F TFTTT T T T T T T
F F TFTTF T T T T T T
F F TFTF T T T T T T T
F F TFTF F T T T T T T
F F TFFTT F T T T T T
F F TFFTF F T T T T T
F F TFFF T F T T T T T
F F TFFF F F T T T T T
F F FTTTT T T T T T T
F F FTTTF T T F T T T
F F FTTF T T T T T T T
F F FTTF F T F F T T T
F F FTFTT T T T T T T
F F FTFTF T T T T T T
F F FTFF T T T T T T T
F F FTFF F T F T T T T
F F FFTTT T T T T T T
F F FFTTF T T F T T T
F F FFTF T T T T T T T
F F FFTF F T F F T T T
F F FFFTT F T T T T T
F F FFFTF F T T T T T
F F FFFF T F T T T T T
F F FFFF F F F T T T T

Truth-Values: Connectives: Table Style: Type:

T/F ¬, ∧, ∨, →, ↔ Full Table Two-Valued
⊤/⊥ ~, &, ∨, →, ↔ Main Connective Łukasiewicz
1/0 ~, &, ∨, ⊃, ≡ Text Table Strong Kleene
LaTex Table Weak Kleene

Symbols: use the following keyboard symbols in your input for the various logical connectives:

~ for negation
& for conjunction
v for disjunction
> for the conditional
<> for the biconditional
# for absurdity/falsum
| for NAND (aka the Sheffer Stroke)
! for NOR (Wittgenstein's Sheffer Stroke)

Here are some examples of well-formed inputs the program will accept:
~A
(A & B)
(A & (~B > C))
(# > (B v ~A))
(A|B) <> ~(A & B)
(A <> (B v C)), A, (~B > C)
The source code is available on GitHub, just click the icon at the top right corner of the page.

© 2010-2024 Michael Rieppel

https://mrieppel.net/prog/truthtable.html 3/3