有没有办法确定Python中两个符号布尔表达式是否相等？

Question

我一直在尝试用Sympy确定布尔表达式的等效性，但是似乎它没有检测到更复杂的表达式的等效性

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中两个符号布尔表达式是否相等？

Answer 1

equals对我来说效果很好：

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

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

一般来说，equals尝试转换两个表达式直到它们彼此相等，并且仅False在失败时返回。因此，它比 更准确（但也更慢）==。