如何使用 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，但请注意，您需要在括号中加上优先级，像 (X > Y) & (Z <= Y).