Truth Table

A truth table is table used to determine whether logical propositions are true or false for given input values.

Usage

Enter a proposition above and the truth table will appear, breaking down the relationships of the inputs.

Truth Table is very flexible to which inputs are valid. An atomic can be a letter, word, or words seperated by spaces which will be case-sensitive. Truth Table accepts many equivalent symbols for connectives.

Negation can be written

not, NOT, ¬, !

Conjuction can be written

and, AND, Λ, &, &&

Disjuction can be written

or, OR, ∨, +, ||

Exclusive disjunction can be written

xor, XOR, ⊕, </>

Implication can be written

if, IF, ->, =>

Biconditional can be written

iff, IFF, <->, <=>

Connective precedence follows the order in which these connectives have been listed.

This tool is open-source.