法律逻辑公式

网页中敲不出 非 运算符，以单引号 ' 代替。

因为:

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

= C[A(1+B) + A'B] 注：1+B = 1

= C[A + AB + A'B]

= C[A + B(A+A')]

= C(A+B)

那么：

(AC+A'BC)' = [C(A+B)]' =C' + (A+B)' = C' + A'B' 注：(ab)' = a' + b', (a+b)' =a'b'

所以：

L = [C' + A'B' + B'C + ABC']'

= [C'(1+AB) + B'C + A'B')'

= [C' + B'C + A'B']' 注：1+AB = 1

= [C'(1+B') + B'C + A'B']'

= [C' + B'C' + B'C + A'B']'

= [C' + B'(C'+C) + A'B']'

= [C' + B' + A'B']' 注：C' + C = 1

= [C' + B'(1+A')]'

= (C' + B')'

= (C')'(B')'

= BC