Question

逻辑函数的代数化简法

第六题，本人对摩根定理不是太清楚，希望可以有一个详细的过程

Answer 1

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