
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 :)