SymPy Gamma logo SymPy Gamma

x&~x
False
satisfiable(And(Not(x), x))
And(Not(x), x)
See what Wolfram|Alpha has to say.

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