为什么这个布尔表达式的值为false：(~a&b)|(a&~b)==a^b？
为什么这个布尔表达式的值为false：(~a&b)|(a&~b)==a^b？
提问于 2020-07-13 22:38:53
我一直在使用SymPy来简化和计算布尔表达式。我遇到了这个简单的例子，问题中提到的表达式，它的计算结果不是True。示例代码如下：
from sympy import *
a, b=symbols('a b')
(~a&b)|(a&~b)==a^b计算结果为False。
回答 2
Stack Overflow用户
回答已采纳
发布于 2020-07-13 23:19:22
请参阅教程：https://docs.sympy.org/latest/tutorial/gotchas.html#equals-signs
您拥有的两个表达式在结构上不相等：
In [2]: (~a&b)|(a&~b)
Out[2]: (a ∧ ¬b) ∨ (b ∧ ¬a)
In [3]: a^b
Out[3]: a ⊻ b因此，它们无法与==相提并论。
您可以对它们进行简化以进行比较：
In [9]: simplify_logic((~a&b)|(a&~b))
Out[9]: (a ∧ ¬b) ∨ (b ∧ ¬a)
In [10]: simplify_logic(a^b)
Out[10]: (a ∧ ¬b) ∨ (b ∧ ¬a)
In [11]: simplify_logic((~a&b)|(a&~b)) == simplify_logic(a^b)
Out[11]: TrueStack Overflow用户
发布于 2020-07-13 23:25:28
正如在faq和sympy's gotchas中所解释的，双等号只测试完全相等。
要测试两个布尔表达式是否等价，请先使用Equivalent(lhs, rhs)，然后使用simplify()。
from sympy import symbols, Equivalent
a, b = symbols('a b')
print(Equivalent(((~a & b) | (a & ~b)), (a ^ b)).simplify())打印True。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/62885361
复制相关文章
![点击导航栏，切换div内容（js+css+html）[通俗易懂]](https://ask.qcloudimg.com/http-save/yehe-8223537/468fd226a18917791a80df930966eca3.png)
相似问题
如何制作粘性导航栏？
不能仅使用CSS和HTML隐藏导航栏
没有Javascript的响应式导航栏，仅使用HTML和CSS
如何制作没有位置的粘性导航栏:已修复
如何仅使用HTML、CSS和Javascript突出显示导航栏
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
