Boolean XOR conversion- rewriting to XOR in simplifed form

Question

I have a Boolean Expression simplified to:

BC + AC + A'B'C'

and get to this be rewriting:

C(B + A) + A'B'C'

I need to rewrite to

(A + B) XOR C'

I can check with a Truth Table and can show they are equivalent. I am having issues with the boolean algebra to get the XOR solution. Some insight would be helpful.

Answer 1

Since it is easier to work with and, or, and not (or at leas: we have more, and more familiar, principles for them), I would definitely start with the RHS (the XOR expression), and work your way back to the LHS.

So:

$(A + B) XOR C' = (A+B)C'' + (A+B)'C' = (A+B)C + A'B'C'=...$

... Oh, and LOL! I was going to say: "And you can take it from here" but you're there already! Or at least: you are now at the spot where you ended up by starting with the LHS :P

Moral: when proving an equivalence between LHS and RHS, you can work from both sides .. while it is intutive to go from LHS to RHS, sometimes it's easier to go from RHS to LHS ... and sometimes you work from both sides and try to meet somewhere in the middle