Comment #10 on issue 1894 by christian.muise: Automatic rewriting of boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
Ronan: "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))."
So to summarize, Xor, Not, Nand, Nor, and Implies should all be reverted to not simplify things?
-- 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.
