SymPy Gamma

SymPy:

(x|y)&(x|~y)&(~x|y)

$\left(x \vee y\right) \wedge \left(x \vee \neg y\right) \wedge \left(y \vee \neg x\right)$

x & y

$x \wedge y$

satisfiable((x | y) & (x | ~y) & (y | ~x))

(x | y) & (x | ~y) & (y | ~x)

See what Wolfram|Alpha has to say.

Experiment with SymPy at SymPy Live.