Truth Table Generator

Use the buttons (or your keyboard) to enter a proposition, and a truth-table will be generated for you.

Keys If you want to type in a proposition using your keyboard, use the following characters.
Operator: Not (¬) And (∧) Or (∨) Implies (→) Iff (↔)
Keys: ~ or ! & or && | or || -> or => <-> or <=>

Result

The truth table will appear here.

This was made in HTML5 and JavaScript, based on code by Christian Gottschall from 2005.