boolean expression - 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))

becomes

(b AND c) OR (b AND a AND d)

I would like to also sort these, lexicographically

(a AND b AND d) OR (b AND c)

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...