Sets up a truth table based on a logical statement of 1, 2 or 3 letters with statements such as propositions, equivalence, conjunction, disjunction, negation. Includes modus ponens.

This calculator has 1 input.

This calculator has 1 input.

- !(!p) = p
- P v Q is true if P is true or Q is true

For more math formulas, check out our Formula Dossier

- conjunction
- a word used to connect clauses or sentences or to coordinate words in the same clause
- disjunction
- a binary connective classically interpreted as a truth function the output of which is true if at least one of the input sentences (disjuncts) is true, and false otherwise
- equivalence
- the state or property of being equivalent.
- modus ponens
- If conditional statement if p then q

p --> q - modus tollens
- If conditional statement if not p then not q

!p --> !q - negation
- reverses the truth value of a given statement.

~ - proposition
- a declarative sentence that is either true or false (but not both)
- truth table
- a table that shows how the truth or falsity of a compound statement depends on the truth or falsity of the simple statements from which it is constructed.