python-3.x - 有没有办法确定 Python 中的两个符号 bool 表达式是否相等？

Question

我一直在尝试用 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 表达式是否相等？

Answer 1

equals对我来说很好用:

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

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

一般来说， equals尝试转换两个表达式直到它们彼此相等并且只返回 False如果失败。因此它比 == 更准确(但也更慢) .