Ask Your Question

Revision history [back]

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

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

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.