布尔代数：如何证明这个正态方程？

Boolean algebra: How to prove this normal form equation?

提问人：duwan.zq 提问时间：7/16/2020 更新时间：7/16/2020 访问量：71

问：

我正在学习布尔代数。但是我不知道如何证明这个方程式？

书上说：

“我们可以将任何逻辑表达式转换为正常形式，方法是使用恒等式对每个输入变量进行因式分解”

enter image description here

运算符 逻辑 表达式布尔 代数

评论

0赞 500 - Internal Server Error 7/16/2020
这是数学，不是编程。
0赞 duwan.zq 7/16/2020
所以我说这是布尔代数......
0赞 500 - Internal Server Error 7/16/2020
对于此类问题，有一个更合适的论坛 - Stack Overflow 用于与编程相关的问题。
0赞 Axel Kemper 7/17/2020
您可以逐案证明此身份。输入变量可以是 或 。在这两种情况下，身份都成立。递归地执行此操作确实会产生析取正态形式 （）。XitruefalseShannon Expansionsum-of-productsDNF
0赞 duwan.zq 7/20/2020
@AxelKemper 非常感谢。你很专业！

答： 暂无答案

上一个：这两个代码的逻辑有什么区别？

下一个：有没有办法重构这个 AND 和 XOR 逻辑分支？