Truth
Table Generator
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.


Full
Table Main Connective Only LaTeX Table Text 