Digital Algy - The Digital Algebra checker

In the slot below you will see a boolean expression. Please simplify that expression as far as you can. At each stage of the working out, you should type in the expression as you simplify it, pressing Enter at the end. The computer will compare your efforts to the original, and award you a tick if they are logically the same.

After each stage, a new slot will appear for you to simplify the expression further if you wish. You don't have to use the new slot, of course. At any point you can simply click on the Back icon.

Original expression:      
Line 1 of your working:


Back