
Prove
is a redundant term when the expression
already includes A
So
This will be useful.
Alternatively start with the RHS.
Pair up the terms ie the conditions separated by OR signs
that are of the form
In this instance there are two ways to pair up the terms.

The Masters of Boole do both.
The point is AC is a condition and it can be used as many times as we like.
Have fun and let me know how easy this is to read.
This page should download easily to Windows, Mac and Linux based browsers.
If it doesn’t please email the Webmaster