如何简化(〜A * B)+ C *(〜B + A)

时间:2019-01-16 14:15:47

标签: boolean simplification

我已经简化了一个布尔函数,但是我陷入了最后一步,我看不到应该使用哪个规则(如果有的话)来简化表达式。

我想简化以下布尔函数:

(〜A * B)+ C *(〜B + A)

我知道简化形式是(B *〜A + C),但是我无法确定应该使用哪些规则,尽管我可以看到(〜A * B)和(〜B + A)都取消了其他,但我不确定是否有此规则,或者是基于纯粹的观察。

我尝试使用的规则在http://electronics-course.com/boolean-algebra

中有详细说明

有人可以帮我吗?

谢谢!

1 个答案:

答案 0 :(得分:2)

                   ( ~A * B) + C * (~B + A)
~C * ( ~A * B) + C*( ~A * B) + C * (~B + A)    X = X*Y + X*~Y
~C * ( ~A * B) + C*( ~A * B) + C * ~(B * ~A)   De Morgan
~C * ( ~A * B) + C                             X*Y + X*~Y = X 
     ( ~A * B) + C                             Absorption

不确定X = X*Y + X*~Y是否具有名称,您可以从以下名称获得它:

x 
X * 1            Idempotence
X * (Y + ~Y)     Complement
X * Y + X * ~Y   Distributive Law

编辑:我找到了一种更简单的方法:

                   ( ~A * B) + C * (~B + A) 
                   ( ~A * B) + C * ~(B * ~A)   De Morgan
                   ( ~A * B) + C * ~(~A * B)   Commutative Law
                   ( ~A * B) + C               Absorption