Forma normal disyuntiva en Python

Question

Dec 05, 2014, 10:09 AM

Usando python, ¿cuál es la mejor manera de convertir una cadena de AND y OR enforma normal disyuntiva (también conocido como "suma de productos")?

b AND (c OR (a AND d))

se convierte

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

Me gustaría ordenar también estos, lexicográficamente

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

Respuestas a la pregunta(1)

C / C ++: conversión de valor hexadecimal en caracteres char a integer

Agregar botón a JPanel en Java Swing

Pruebas con un controlador de selenio en Java sin abrir ningún navegador

Generar lista de métodos de una clase con tipos de métodos

Inicializando Games Client en Android