Evaluation of Boolean expressions

Logical expression

( a ∧ b ) ∨ ¬ ( b ↔ a → ¬ c ) ⊕ b

Name the variables using lowercase letters and use the below buttons to place the parenthesis and the operators:

Precedence

Drag the operators into your desired order of precedence (highest up, lowest down). The parenthesis and the negation cannot be reordered.

  • ¬
  • (
  • )

Assignment

Select the variables that you wish to assign as true. Unselected variables will become false.

One the expression has been fixed, you can evaluate it for one or more assignments. Reload the page to start over with a new expression.

Copyright © McGill University