sympy：如何将逻辑“非”转换为sympy表达式

Question

以下代码可用于将逻辑表达式转换为符号表达式：

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

但我怎么得到一个Not(a)的结果呢？

- xuhdev

Answer 1

原来你要找的符号是~。请看下面的例子：

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

- Brien