如何使用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)。