0

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: enter image description here

Vector_13
  • 626
  • I don't think that's true... –  Apr 19 '14 at 02: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 03: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. –  Apr 19 '14 at 03: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 03:16

1 Answers1

1

$$\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.

Word of advice - don't do that "subtract" thing ever, because it does not necessarily yield equivalent expressions. I simply discarded one piece because it was not needed.

Also, in the second-to-last line I used the identity $$x+yz=(x+y)(x+z)$$