从真值表中简化布尔方程

Simplify boolean equation from truth table

提问人:Matthew Jacobsen 提问时间:10/14/2019 更新时间:10/14/2019 访问量:916

问:

我需要帮助将以下内容简化为最简单的术语。布尔代数还没有完全适应我,任何帮助都是值得赞赏的。 (!一个!B!C)+(!血型!C)+(!ABC)+(A!B!C)+(A!BC)+(AB!C) 我得到了以下内容,但我不知道从这里去哪里: !A(!B!C+B!C + BC) + A(!B!C + B(异或)C)

如果你好奇并想查看我以前的工作,我从真值表中得到了原始方程:enter image description here

数学 值 布尔逻辑 真值表 布尔代数

评论


答:

4赞 Muts 10/14/2019 #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 TermSecond 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