Truth Table Generator

There are two settings:
the "Buttons for Statements" setting,

and the "Type out Statements" setting.

When on the "Buttons for Statements" setting you use buttons to create statements.


There are buttons that represent variables, which include capital letters.


There are buttons that represent logical operations.


If you wanted to generate a truth table for the statement "A and B" you would push the "A" button, then the "&" button, then the "B" button, and finally you would push the "Generate Truth Table" button.

Also, there are other buttons, which include left and right parenthesis, along with a comma.

The parentheses can be used to clarify your desired order of operations to the generator. The comma allows you to put more than one statement on the same truth table, just separate each statement with a comma.

So if you wanted to generate a truth table that has the statements "~A and ~B" and "~(A or B)" on it, you would hit the relevant buttons that would give you the statements:

Note the use of parentheses and the comma in between the two statements.

The "Delete" button removes the last symbol that was added, and the "Clear" button clears all the statements.

The "Type out Statements" setting means you have to type out the statements you want to generate.

The purple box lists the keyboard symbols and the operations they represent.
Type letters to represent variables.
Note that the lowercase "v" represents the "or" operations, so lowercase "v" cannot be used as a variable.

To generate a truth table for the statement "P → Q," you would type a "P," then type a greater-than symbol (>), then type a "Q." Then you would hit the "Generate Truth Table" button.