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)