Resultado de la búsqueda: simplificacion disyuntiva en logica