Truth Table Generator

by Michael Rieppel

This page contains a JavaScript program that will generate a truth table given a well formed formula of sentential logic. Enter multiple formulas separated by commas to include more than one formula in a single table. Select "Full Table" to show all columns, "Main Connective Only" to show only the column under the main connective, and "LaTeX Table" to produce a table formatted for LaTeX.

For an argument, do not use the turnstile (⊢ or |-). Just separate the premises from the conclusion with another comma.

Negation ~
Conjunction &
Disjunction v
Conditional ->
Biconditional <->
Sheffer Stroke |
Absurdity #

(A & B)
(# -> (B v ~A))
A<->(BvC), A, (~B->C)

Full Table
Main Connective Only
LaTeX Table