Disjunctive Normal Form in Python

Question

Using python, what is the best way to convert a string of ANDs and ORs into disjunctive normal form (also known as \"sum of products\")?

b AND (c OR (a AND d         


        

Answer 1

Maybe this library can help: pyeda

here is a method to turn an expression into DNF: to_dnf()

Of course you must turn your string into a valid pyeda expression...