Updates:
Summary: Automatic rewriting of boolean functions
Status: Accepted
Comment #6 on issue 1894 by [email protected]: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
OK, you're right. The same applies to Xor(x, y) and Equivalent(x, y).
Not(And(x, y))
should also remain as it is and Nand(x, y) should just be turned into
Not(And(x, y)).
Currently, eliminate_implications() can do all the rewriting, but it could
be
superseded by refine() - in any case, refine_logic() in my new
branch "new-assump"
needs to do it and it should probably be merged with refine() at some point.
The original issue (Xor(x, 1/y)) has been addressed with the commits
related to issue
1928, so I'm updating the summary.
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" 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-issues?hl=en.
