SymPy Gamma logo SymPy Gamma

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

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