Online Calculator Propositional Logic

This calculator computes truth values for simple propositional expressions. The following symbols may appear in the terms:

For ¬, ∧, ∨, ⇒, ⇔ this convention applies: The further to the left a symbol is in the enumeration, the more strongly it binds. By this rule it is possible in many cases to reduce the number of parentheses.

You can read the following informations in the output area (on the left):

This browser doesn't support HTML5 canvas!