Se define la equivalencia formula_1 cuando formula_2.