Consensus Theorem and Boolean algebra

Question

I am trying to prove the following boolean equality. $$bc + abc + bcd + a’(d+c) = abc + a’c + a’d$$

I have simplified the left side to $bc + a'd + a'c$ by factoring out a $bc(1)$. However, I am not able to figure out where that extra $a$ comes from. And in any case, wouldn't my answer be the more simplified form?

Answer 1

Yes, your answer is the more simplified form. If Left and Right reduce to same expression, you have proved it.

So attempt to reduce the Right side of expression to Left.

Left expression: $$bc+abc+bcd+ \overline a(d+c)$$ $$bc (1+a+d) + \overline ad+\overline ac$$ $$bc + \overline ad + \overline ac$$

Right:

$$abc + \overline ad + \overline ac$$ $$abc + \overline ad + \overline ac (1+b)$$ $$abc + \overline ad + \overline ac + \overline abc$$ $$bc (a + \overline a) + \overline ad + \overline ac$$ $$bc + \overline ad + \overline ac$$

Edit...

And the question has nothing to do with consensus. See Laws and Theorems of Boolean Algebra.

$(X + Y) • (\overline X + Z) • (Y + Z) = (X + Y) • (\overline X + Z)$ [13a]

$X Y + \overline X Z + Y Z = X Y + \overline X Z$ [13b]

With consensus, third term (with Y and Z) is absorbed by first two.