BCAI Teacher Tools
Boolean Algebra Simplifier
Enter an expression and it will be simplified for you.
Accepted input: AND, OR, NOT, brackets, letters A-Z, constants 0/1, or symbols ∧, ∨, ¬.
Simplified expression
Enter an expression to see it simplified.
Workings
Expression
How this line was reached
No expression checked yet.
—
Note: commutative and associative laws are used internally to recognise equivalent patterns, but they are not shown above.