Solving boolean variables symbolically

edit

I need to solve some boolean variables symbolically (in terms of the other symbols):

Suppose we are given an expression like expr = (xy == 0), then I would like to have

solve(expr, x)

~y

Is it possible to do in sage? Something like this, but in boolean variables.