sympy：如何理解逻辑＆＃34; NOT＆＃34;

Question

以下代码可用于表达逻辑表达式：

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

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

Answer 1

事实证明，您要找的符号是~。请参阅以下内容：

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