I could make a separate function to simplify boolean expressions. Something 
like
>>> simplify_bool('(x & y) | (x & ~y)')
'x'

OR
instead of returning an expression(string) return a boolean function itself.

On Sunday, September 30, 2012 10:08:56 AM UTC+5:30, Sachin Joglekar wrote:
>
> Something that I suggested as a comment on my CustomFunction pull request- 
> Can 'solve' function be extended to be able to solve boolean functions to 
> convert them to the simplest form? initially thought of adding a separate 
> function for this, but then thought that extending 'solve' would be a 
> better idea.
> As I am able to generate the simplest form of a function (SOP) from its 
> truth table, I could go one step further by finding out the truth table of 
> a function and using it to find its simplest form. If there are any better 
> ways to do it, I could look it up too.
>

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To view this discussion on the web visit 
https://groups.google.com/d/msg/sympy/-/o6YZzKcF7y8J.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sympy?hl=en.

Reply via email to