Llamaremos normalizador de formula_1 al conjunto