Feature Request: Add Support for Boolean Logic with Variables in SymEngine

[PhysicsQoo]

I would like to request the addition of support for Boolean logic with variables in SymEngine. While SymEngine already supports Boolean constants (True and False), it currently lacks support for Boolean logic involving symbolic variables, which would represent unknown or variable truth values. Boolean variables are crucial for applications in fields like formal verification, logic synthesis, and constraint solving, where the values of variables can be either True or False. Adding support for Boolean variables and operations such as AND, OR, NOT, and more, would significantly enhance SymEngine's ability to handle problems in these domains.

[rikardn]

I agree. Symengine is open to contributions from anyone. If you'd like to get involved, submitting a pull request is a great way to get started. We're looking forward to seeing your ideas and working together to improve symengine.

[isuruf]

You can do something like,

And(Ne(x, 0), Ne(y, 0))