Module for logic simplification using Boolean Algebra or Karnaugh maps

[Shahnawaz Ahmed]

Is there any module that simplifies Logic gates using Boolean algebra or any other method ?

[Aaron Meurer]

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 <shd...@gmail.com> 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 sympy+un...@googlegroups.com.
> To post to this group, send email to sy...@googlegroups.com.
> 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.

[Shahnawaz Ahmed]

Thanks