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

And(x, y)

satisfiable(And(Or(Not(x), y), Or(Not(y), x), Or(x, y)))

And(Or(Not(x), y), Or(Not(y), x), Or(x, y))

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