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.