x&~x
False
satisfiable(x & ~x)
x & ~x
Want to compute something more complicated? Try a full Python/SymPy console at SymPy Live.