# Boolean algebra simplification.

I start with: $$\bar{A}\bar{B}\bar{C}+\bar{A}BC+A\bar{B}\bar{C}+A\bar{B}{C}=A\bar{B}+\bar{B}\bar{C}+\bar{A}BC$$ then I did: $$\bar{A}\bar{B}\bar{C}+\bar{A}BC+A\bar{B}\bar{C}+A\bar{B}{C}=\bar{A}\bar{B}\bar{C}+\bar{A}BC+A\bar{B}(\bar{C}+C)=\bar{A}\bar{B}\bar{C}+\bar{A}BC+A\bar{B}$$

How can I show that: $$\bar{A}\bar{B}\bar{C}+\bar{A}BC+A\bar{B}=A\bar{B}+\bar{B}\bar{C}+\bar{A}BC$$ I tried taking out $$\bar{A}(BC+\bar{B}\bar{C})+A\bar{B}$$ but then I get stuck since whatever I try leads me deeper into the forest of boolean algebra.

Edit:

• I don't think that's true... – user142299 Apr 19 '14 at 2:44
• @NotNotLogical I got this from Digital Design and Computer Architecture, the example above is a part of the truthtable that I am having a problem with since the other part cancels I'll edit the problem to make the solution clearer. – Vector_13 Apr 19 '14 at 3:02
• It's not a true equivalence claim. The left side must have $A$ be false, so the left side cannot equal the right side. – user142299 Apr 19 '14 at 3:04
• @NotNotLogical Yes, you are right I didn't write the problem correctly, I'm sorry, I will edit the post. Thanks. – Vector_13 Apr 19 '14 at 3:16

$$\bar{A}\bar{B}\bar{C}+\bar{A}BC+A\bar{B}\bar{C}+A\bar{B}{C}=A\bar{B}+\bar{B}\bar{C}+\bar{A}BC$$
I'm going to use lower-case letters and $a'$ for $\bar{a}$ if you don't mind. First subtract (!!) the expression $$a'bc$$ from both sides to get $$a'b'c'+ab'c'+ab'c=ab'+b'c'$$ Then factor on the left, $$b'c'(a'+a)+ab'c=ab'+b'c'$$ Simplify $$b'c'+ab'c=ab'+b'c'$$ Factor again $$b'(ac+c')=ab'+b'c'$$ and again $$b'(c'+c)(c'+a)=ab'+b'c'$$ $$b'(c'+a)=ab'+b'c'$$ which is certainly true.
Also, in the second-to-last line I used the identity $$x+yz=(x+y)(x+z)$$