B = cnf.quitarDobleNegacion(B) aux2 = cnf.Inorder(B) if aux1 != aux2: OK = True A = B else: OK = False OK = True while OK: OK, A = cnf.aplicaDistributiva(A) conjuntoClausulas = cnf.formaClausal(A) clausulas.append(conjuntoClausulas) k = clausulas[0] o = DPLL(k, {}) U, L = o.DO_DPLL() print "Satisfacible?" print U print "Interpretacion:" print L lista = [] for i in L: if L[i] == False: h = '-' + i lista.append(h) else: lista.append(i) if U == 'satisfacible': ## if len(lista) == 0: