SymPy Gamma

SymPy:

x&~x

$x \wedge \neg x$

Simplification:

False

$\mathrm{False}$

Satisfiability:

satisfiable(And(Not(x), x))

And(Not(x), x)

See what Wolfram|Alpha has to say.

Experiment with SymPy at SymPy Live.