简化布尔表达式

时间:2016-03-26 01:41:48

标签: boolean algebra proof

我构建了真值表来证明:
ABC + ABC'+ AB'C A'BC = AB+AC+BC
但我如何通过简化表达来证明它?我对布尔代数很新,并尝试使用基本身份来解决它,但似乎无法实现。

1 个答案:

答案 0 :(得分:2)

你可以写:

ABC + ABC'

作为

AB(C + C')

自C + C'总是如此,那只是AB。同一模式适用于AC(B + B')BC(A + A')分别等同于ACBC