我可以用 Sympy 解决这个问题吗？

Question

我需要的简化示例：

a = banana or apple
b = banana or apple

a is not equal to b
a = apple

b = ?

所以我们都知道 b = 香蕉。但是我可以将这些规则提供给 Sympy 并让它为我计算吗？我不知道如何，因此没有任何工作正在进行中，目前没有运气。

编辑：

欢迎对其他库提出建议

Answer 1

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，但无法计算。

编辑：

如有同情可以关注Solving Symbolic Boolean variables in Python。