Ask Your Question

Solving boolean variables symbolically

asked 2014-08-14 08:46:30 -0500

pp gravatar image

updated 2014-08-14 08:59:23 -0500

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)


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

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2014-08-14 11:33:45 -0500

kcrisman gravatar image

Maybe PolyBoRi would be useful, since you seem to have polynomials?

edit flag offensive delete link more


Yes. These expressions are polynomials.

pp gravatar imagepp ( 2014-08-14 14:17:54 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-08-14 08:46:30 -0500

Seen: 26 times

Last updated: Aug 14 '14