Solving for abd + a'bc + ab'c = abd + a'bc + ab'c + bcd + acd

[magnifik]

I'm trying to prove

abd + a'bc + ab'c + bcd + acd = abd + a'bc + ab'c

i originally thought
abd + c(a'b + ab' + bd + ad) =
abd + c(a'b + ab' + d(a+b)) =
abd + c(a'b + ab'), where a+b = 0
but i realized if a+b = 0, ab = 0 as well, which would cancel out the abd, and that is clearly incorrect. any suggestions?? thanks

 

[berkeman]

I'm trying to prove

abd + a'bc + ab'c + bcd + acd = abd + a'bc + ab'c

i originally thought
abd + c(a'b + ab' + bd + ad) =
abd + c(a'b + ab' + d(a+b)) =
abd + c(a'b + ab'), where a+b = 0
but i realized if a+b = 0, ab = 0 as well, which would cancel out the abd, and that is clearly incorrect. any suggestions?? thanks

The equation doesn't look right. The terms on the right are repeated on the left, but there are extra terms on the left as well. How could that work? That's probably why you are getting some forced zeros...