Truth Table Generator
Generate truth tables for propositional formulas and determine whether they are tautologies, contradictions, or contingencies. You can also test argument validity.
1. Analyze a formula
2. Test argument validity
Add any number of premises and a conclusion. The tool searches for a counterexample row in which all premises are true and the conclusion is false.