SymPy Gamma logo SymPy Gamma

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

Experiment with SymPy at SymPy Live.