sympy：如何表达逻辑“不”

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)