我可以用Sympy解决这种情况吗？

如何解决我可以用Sympy解决这种情况吗？

我需要的简化示例：

a = banana or apple
b = banana or apple

a is not equal to b
a = apple

b = ?

所以我们都知道b =香蕉。但是我可以将这些规则交给Sympy并让它为我计算吗？我不知道如何并且因此没有任何工作来展示目前正在浏览的低谷文档。

修改：

欢迎其他图书馆提出建议

解决方法

from z3 import *

p = Int('p')
q = Int('q')

solve(Or(p==1,p==2),Or(q==1,q==2),Not(p==q),p==1)

假设a，b = p，q且1 =香蕉，2 =苹果（或周围）。作品！仍然要使用sympy，但无法计算此值。

修改：

对于sympy，可以查看Solving Symbolic Boolean variables in Python。