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)

Extraindo uma classe do atributo section usando xsl

Como desativar o onItemSelectedListener a ser chamado ao definir o item selecionado pelo código

valor de exibição da opção de seleção de autoinicialização em vez de texto

como retornar à PrefenenceScreen anterior a partir da PreferenceScreen aninhada sem pressionar o botão Voltar

c # único app.config multi-projeto