Reduce

Hello, my head hurts. I'm trying to reduce this:


the last part should also have a \bar around the whole thing but i couldnt get that to work in tex.

I got this far:



But im not sure if this is correct, if it is, hints for further reducing is very welcome :)

I'll write A' for , and similarly for other variables.

. So, by using distributivity and eliminating the same minterms, or disjuncts (AB and twice ABC'), we get

AB + AC + ABC' + BC + AC'

Next, ABC' + AC' = AC'(B + 1) = AC', so we have

AB + AC + BC + AC'

AC + AC' = A, and A + AB = A, so the result is A + BC.

aha \overline did the trick :)

I've totally missed the obvious fact that X and X' eliminate eachother, it's been a long day, and i thank you :)