De Morgan lo intentó "reduciéndola" como una expresión de la forma formula_16, y demostró que había hallado un procedimiento para lograr esta reducción en cualquier caso.