sympy:如何 sympify 逻辑 "NOT"

sympy: how to sympify logical "NOT"

以下代码可以简化逻辑表达式:

sympify('a&b') # And(a, b)
sympify('a|b') # Or(a, b)

但是我如何获得 Not(a) 的结果?

原来你要找的符号是~。请参阅以下内容:

>>> from sympy import sympify
>>> sympify('a&b')
And(a, b)
>>> sympify('a|b')
Or(a, b)
>>> sympify('~a')
Not(a)