I would check to see if something like that already exists first (I don't remember if it does), and if it doesn't, this is how I would do it. And it should definitely return the boolean function itself, not the string.
Aaron Meurer On Sun, Sep 30, 2012 at 2:32 PM, Sachin Joglekar <[email protected]> wrote: > 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. -- You received this message because you are subscribed to the Google Groups "sympy" group. 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.
