Usando python, qual é a melhor maneira de converter uma sequência de ANDs e ORs emforma normal disjuntiva (também conhecido como "soma de produtos")?

b AND (c OR (a AND d))

torna-se

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

Eu também gostaria de classificá-los, lexicograficamente

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