Logic Workbench

Write, transform, and simplify Boolean expressions.

Operators: NOT, AND, OR, XOR. Parentheses are supported.

Result

Your result will appear here.

Transformation history

  1. Apply a rule to see its transformation steps.

Expression structure

Follow each transformation from start to finish.

Ready
CURRENT TRANSFORMATION Ready to play

Press Play to see how the expression is simplified.

Step 0 of 0

Start

Final result