# Simplifying a 4-term equation using boolean algebra

Tags:
1. Sep 12, 2015

### TheArtOfFail

So, I have an equation:

~A * B * C * ~D + ~A * B * C * D + A * ~B * ~C * D + A * ~B * C * D + A * B * ~C * D + A * B * C * ~D

where * represents "AND" and + represents "OR", ~ being NOT.

Part of the reason I'm having trouble is due to the length of the equation.

So far, I've managed to use complement and identity laws to cancel out one pair of Cs and Ds, and ended up with this:

~A * B * C + A * ~B * D + A * B * ~C * D + A * B * C * ~D

Now, I know, through using Karnaugh maps, that the answer is this:

~A * B * C + B* C* ~D + A * ~C * D + A * ~B *D.

So, I'm close. I have two of the parameters. But I need to simplify two others.

I'm not asking for the straight answer, but can I have a hint as to what I need to do next?

2. Sep 13, 2015

### verty

$(aBCd + aBCD) + (AbcD + AbCD) + ABcD + ABCd$
$= aBC + AbD + ABcD + ABCd$

Hint: Factor out B.