Truth Table Generator
For any given logical expression a truth table will be created.
Statements in the propositional logic can only be true or false.
Several statements can be combined with logical connections to new statements.
To show the truth content of such a connection of several statements, one can use a truth table,
which generates all possible combinations of true / false statements and evaluates the corresponding truth content of the logical expression.
Logical connections are implemented with operators of the syntax of C, Java and JavaScript.
In the table logical variables are used in place of concrete logical statements.
The logical variables used in the expressions can be named as desired.
Supported operators are (operator priority decreasing in this order):
| ! | "not" | (negation) |
| == | "exactly, when" | (equivalence) |
| && | "and" | (conjunction) |
| || | "or" | (disjunction) |
In addition braces can be used.
Note: The operator priority used here corresponds to the above mentioned programming languages.
In the propositional logic equivalence is weaker than disjunction.
Deviating from the syntax of the programming languages mentioned above, the bitwise AND and OR operators (|,&) can also be used.
If more than one expression shall be displayed in one table, separating semicolons have to be used.
Example of a logical expression with 4 variables: !a || b && !(c && !d)
more JavaScript applications