Programmiererforum

>>> from sympy import *
>>> x, y, z, t = symbols('x y z t')
>>> k, m, n = symbols('k m n', integer=True)
>>> f, g, h = symbols('f g h', cls=Function)
>>> init_printing()
>>> satisfiable((x > 3) & (x == 1))
False

>>> print(satisfiable((x > 3) & (x

Ich lerne, Sympy zu verwenden und tue es
[code]>>> from sympy import *
>>> x, y, z, t = symbols('x y z t')
>>> k, m, n = symbols('k m n', integer=True)
>>> f, g, h = symbols('f g h', cls=Function)
>>> init_printing()
>>> satisfiable((x > 3) & (x == 1))
False
[/code]
was richtig ist. Aber wenn ich den letzten Teil dieser Anweisung ändere
[code]>>> print(satisfiable((x > 3) & (x