python-3.x - 有没有一种方法可以确定Python中两个符号 bool 表达式是否相等？

我一直在尝试使用Sympy确定 bool 表达式的等效性，但似乎无法检测到更复杂的表达式的等效性

from sympy.abc import x, y
from sympy.logic.boolalg import *

print(Equivalent(x, x))
print(Equivalent(x, x & True))
print(Equivalent(x | y, y | x))
print(Equivalent(x | (x & y), x | y))
print(Equivalent(~x & ~y, ~(x | y)))

结果:

>>>True
>>>True
>>>True
>>>Equivalent(Or(x, y), Or(And(x, y), x))
>>>Equivalent(Not(Or(x, y)), And(Not(x), Not(y)))

有没有一种方法可以确定Python中两个符号 bool 表达式是否相等？

最佳答案

equals对我来说很好用:

( x|(x&y) ).equals( x|y )
# False

( ~x&~y ).equals( ~(x|y) )
# True

通常，equals尝试转换两个表达式，直到它们彼此相等为止，并且仅在失败时才返回False。因此，它比==更准确(但也更慢)。