如何使用sympy找到表达式的补语？

Question

我有一个表达

X>Y && Z<=Y

我想要表达式的补充（X>Y && Z<=Y）

X<=Y || Z>Y

是否有可能在python中使用sympy获得以上输出？请帮助我

Answer 1

>>> X, Y, Z = symbols('X Y Z')
>>> simplify(Not(And(X > Y, Z <= Y)))
Or(X <= Y, Z > Y)

您还可以将&和|用于And和Or，将~用于Not，但请注意，优先顺序是您需要为这些术语加上括号，例如{ {1}}。