Draw Truth Table
By Ben Fisher

Variables (one-character) separated by commas
Premises (no spaces), separated by newlines

Use ~ for Negation, -> for Conditional, <-> for Biconditional, v for Disjunction, . for conjunction. Supports nested parentheses in IE.

This method determines whether an argument is valid or invalid. If, for a certain combination of truth values, the premises are true and the conclusion is false, then the argument is invalid.