布尔代数：(A'+B)(A+C)

【问题标题】：Boolean algebra: (A'+B)(A+C)布尔代数：(A'+B)(A+C)
【发布时间】：2017-09-20 15:29:38
【问题描述】：

我对这个表达式有点问题：

x = (A'+B)(A+C)

我知道它可以简化为：

A'C+AB

因为我使用了一些软件来简化它，但我根本看不到它是如何完成的。

这是我到目前为止所做的：

(A'+B)(A+C)         =>
A'A + AB + A'C + BC =>
0 + AB + A'C + BC   =>
AB + A'C + BC

我只是不知道如何以不同的方式做到这一点并获得正确的结果。

【问题讨论】：

【解决方案1】：

所以我们试图证明：

AB + A'C + BC = AB + A'C

使用身份法则X = X1，左侧可以变成：

AB + A'C + BC1

反定律1 = X' + X

AB + A'C + BC(A + A')

分配规律X(Y + Z) = XY + XZ

AB + A'C + BCA + BCA'

联想律(XY)Z = X(YZ)

AB + A'C + ABC + A'BC

交换律X + Y= Y + X

AB + ABC + A'C + A'BC

再次分发

AB(1 + C) + A'C(1 + B)

最后，零定律1 + X = 1

AB(1) + A'C(1)

AB + A'C = AB + A'C

【讨论】：