### Solving boolean variables symbolically

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)
~~x)

~y

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