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

Question

我需要的简化示例：

a = banana or apple
b = banana or apple

a is not equal to b
a = apple

b = ?

所以我们都知道 b = 香蕉。但是我可以将这些规则提供给 Sympy 并让它为我计算吗？我不知道如何，因此没有正在进行的工作来展示这里 - 一直在冲浪槽文档，但没有运气。

编辑：

欢迎对其他图书馆提出建议

标签： 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，但无法计算这个。

编辑：

对于 sympy 可以查看在 Python 中解决符号布尔变量。