AQA Boolean Algebra Simplifier
Simplify in small steps, submitting each simpler line as you go until you reach the fully simplified expression. Use · for AND, + for OR, and overline/¬ for NOT.
Selected problem:
You can type directly and move the cursor anywhere, or insert
symbols using the buttons.
Simplification progression