Hi sympy group! While there is some basic simplification occuring when writing logical expressions, I couldn't find any functionality for non-trivial logic reduction in the current version (0.7.1) of sympy. For example, simplifying A | (~A & B) to A | B is a nice low hanging fruit.
I wrote some heuristic code for simplifying boolean expressions<https://github.com/alkant/simbool>(not based on the Quine-McCluskey algorithm or the espresso logic minimizer) for doing just this - it still has a slightly experimental flavor, but already does some neat stuff. I think this could be a good addition to simplify's functionality. Can you let me know if it's worth submitting a patch? Cheers, Alex -- 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/-/-JbTe-YZ8qoJ. 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.
