Forma Normal Disjuntiva em Python

Question

Dec 05, 2014, 10:09 AM

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)

questionAnswers(1)

or que o compilador avisa ao redeclarar a propriedade readwrite da classe base como somente leitura na subclass

Converter a seqüência de frações para decimal?

O thread PrintWriter de um soquete Java é seguro?

Existe um seletor de CSS para um IMG que tenha sido restringido por max-width ou max-heigh

C #: Redirecionar saída do aplicativo de console: como liberar a saída?