AC + A'BC = C(A+A'B) = C(A+B), 注:a+a'b = a+b
(AC+A'BC)' + B'C + ABC'
=(C(A+B))' + B'C + ABC'
=C'+(A+B)' + B'C + ABC' 注:(ab)' = a' + b'
=C' + ABC' + B'C + (A+B)'
=C'(1+AB) + B'C + A'B' 注:(a+b)' = a'b'
=C' + B'C + A'B'
=C' + B' + A'B' 注:a + a'b = a + b
=C' + B'(1+A')
=C' + B'
那么,原式
=(C'+B')'
=(C')'*(B')' 注:(a+b)' = a'b'
=C*B
=BC