"Equivalencias del conjunto completo anterior con sólo puertas formula_18:"