Main About SymPy Live

SymPy Gamma

SymPy:

x&~x

$x \wedge \neg x$

Simplification:

False

$\text{False}$

Satisfiability:

satisfiable(x & ~x)

x & ~x

See what Wolfram|Alpha has to say.

Need more control? Try SymPy Live.

SymPy Gamma version 43. SymPy version 1.6.2

© 2013-2024 SymPy Development Team. This project is Open Source: SymPy Gamma on Github.