如何用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)。你知道吗