Yes, look at http://docs.sympy.org/latest/modules/logic.html#simplification-and-equivalence-testing.
Aaron Meurer On Sat, Mar 15, 2014 at 12:16 PM, Shahnawaz Ahmed <[email protected]> wrote: > Is there any module that simplifies Logic gates using Boolean algebra or any > other method ? > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/39c16d73-f13e-458c-9ad5-33d6c7366b89%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6Jm43XYwjGTsh0ieZO%2BspNpdGf0rxAdZwgseH5wCcdwBA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
