如何在布尔代数中证明 A(B+C) = AB + AC？答案

【问题标题】：How do I prove A(B+C) = AB + AC in Boolean algebra?如何在布尔代数中证明 A(B+C) = AB + AC？
【发布时间】：2020-04-27 15:37:23
【问题描述】：

大家好，我需要帮助来证明布尔值中的 A(B+C) = AB + AC。自从我这样做以来已经有好几年了，一位朋友寻求帮助。我试过了，但我似乎做错了。有人可以解释如何使用布尔值来证明它吗？我在图片中哪里出错了？

【问题讨论】：

也许您只是想为 A、B 和 C 的每个值的左侧和右侧做一个 1/0 真值表并显示结果相同？你可以编写一个程序来做到这一点。但是，如果这不是一个编程问题，那么这个问题对于本网站来说是题外话。
我认为这真的归结为基本代数。在常规（非布尔）数学ab + ac = a(b + c) 中，这是一个示例2*3 + 2*4 = 2*(3+4)。如果你计算它6 + 8 = 2*7。这称为distributive law。我真的不知道你是如何正式证明分配律的——它一定是可能的，但我只是认为它存在是理所当然的。因此，可能值得寻找法律证据。

【解决方案1】：

据我所知，证明是由德摩根定律提出的。

【讨论】：