从真值简化布尔方程 table

Question

我需要帮助将以下内容简化为最简单的术语。布尔代数还不太适合我，感谢您的帮助。 (!A!B!C)+(!AB!C)+(!ABC)+(A!B!C)+(A!BC)+(AB!C) 我得到了以下内容，但我不知道从这里去哪里： !A(!B!C + B!C + BC) + A(!B!C + B(XOR)C)

如果你好奇想看看我以前的工作，我从真相中得到了原方程table：

Answer 1

最初我们有 A(~B~C + ~BC + ~CB) + ~A(~B~C + B~C + BC)

第一学期：A(~B~C + ~BC + ~CB)

= A(~B(~C + C) + ~CB)
= A(~B(True) + ~CB)
= A(~B + ~CB)
= A((~B + ~C)(~B + B))
= A((~B + ~C)(True))
= A(~B + ~C)

第二学期：~A(~B~C + B~C + BC)

= ~A(~C(~B + B) + BC)
= ~A(~C(True) + BC)
= ~A(~C + BC)
= ~A((~C + C) (~C + B))
= ~A((True) (~C + B))
= ~A(~C + B)

所以 First Term + Second Term 变成： ~A(~C + B) + A(~B + ~C)

= ~A~C + ~AB + A~B + A~C
= AxorB + ~A~C + A~C
= AxorB + ~C(~A + A)
= AxorB + ~C(True)
= AxorB + ~C

因此我们最终得到 AxorB + ~C

Simplify boolean equation from truth table