Solving Boolean Expressions with Theorems

1.4k Views Asked by At

I'm having the hardest time wrapping my head around this stuff. This is a homework problem, one of many. I just need some help on what to do.

BC + A'B' + A'C' = ABC + A'

I've tried this:

BC + A'(B' + C') = BC + A

After this my erase marks get more frequent. It seems to me none of the theorems provided offer obvious plans of attack.

SOLVED:

I think the idea is to identify was to get at least one thing matching on either side and work from there with some guess and check. With help, I found:

BC + A'B' + A'C' = ABC + A'
BC(A' + A) + A'B'(C' + C) + A'C'(B' + B) = ABC + A'
ABC + A'BC + A'B'C' + A'B'C + A'B'C' + A'BC' = ABC + A'
ABC + A'BC + A'B'C' + A'B'C + A'BC' = ABC + A'
ABC + A'(BC + B'C' + B'C + BC') = ABC + A'
ABC + A'(B(C + C') + B'(C' + C)) = ABC + A'
ABC + A'(B + B') = ABC + A'
ABC + A' = ABC + A'
1

There are 1 best solutions below

2
On BEST ANSWER

Hint: On the left side, rewrite $BC$ as $(A' + A)BC$.