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)