Ask Your Question
0

Solving boolean variables symbolically

asked 2014-08-14 15:46:30 +0200

pp gravatar image

updated 2014-08-14 15:59:23 +0200

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.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2014-08-14 18:33:45 +0200

kcrisman gravatar image

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

edit flag offensive delete link more

Comments

Yes. These expressions are polynomials.

pp gravatar imagepp ( 2014-08-14 21:17:54 +0200 )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

Stats

Asked: 2014-08-14 15:46:30 +0200

Seen: 58 times

Last updated: Aug 14 '14