SymPy Gamma

SymPy:

x&~x

$x \wedge \neg x$

False

$\text{False}$

satisfiable(x & ~x)

x & ~x

See what Wolfram|Alpha has to say.

Want to compute something more complicated? Try a full Python/SymPy console at SymPy Live.