Proving the Boolean expression $(a'+b')((b'+c)+b'c) = b'+a'c$

Question

Im trying to prove $(a'+b')((b'+c)+b'c) = b'+a'c$ and I am stuck on the second half. I know I need to get it to $(a'+b')(b'+c)$ to use the Distributive Property of OR over AND, but I cant seem to workout how to transform $((b'+c)+b'c)$ to $(b'+c)$. Any ideas?

score 2 · Accepted Answer · answered Dec 12 '17 at 23:57

2

$b'+c+b'c=b'(1+c)+c=b'+c$, because $1+c=1$.

answered Dec 12 '17 at 23:57

egreg

238,574

Had to apply associative first to make (b'+c) + b'c = (b' + b'c) + c – pstatix Dec 13 '17 at 00:10
@pstatix Yes, and also the commutative property and again the distributive property. – egreg Dec 13 '17 at 07:02

Proving the Boolean expression $(a'+b')((b'+c)+b'c) = b'+a'c$

1 Answers1