No se encontró "canonical conjunctive normal form". Parece que esa forma no existe