Question

这个逻辑函数的化简怎么化呀？

Answer 1

因为在电脑打不出来 非 运算符号，就以单撇号 ' 表示：

1. Y1 = A' + [A * (BC)']' * [B + (AC + D')'] + BC

   = A' + (A' + (BC)] * [B + (AC)' * D] + BC

   = A' + A' * [B + (AC)' * D] + BC * [B + (AC)' * D] + BC

   = A' * [1 + B + (AC)' * D] + BC * [B + (AC)' * D + 1]

   = A' + BC

2. Y2 = AB' + ABCD + A'B + A'B'CD

   = A(B' + BCD) + A'(B + B'CD)

   = A[B'(1+CD) + BCD] + A'[B(1+CD) + B'CD]

   = A[B' + B'CD + BCD] + A'[B + BCD + B'CD]

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

   = A(B' + CD) + A'(B + CD)

   = AB' + ACD + A'B + A'CD

   = AB' + A'B + (A+A')CD

   = AB' + A'B + CD

3. Y3 = ABC + AB'C' + ABC' + AB'C

   = ABC + ABC' + AB'C' + AB'C

   = AB(C+C') + AB'(C'+C)

   = AB + AB'

   = A(B+B')

   = A