Para cada formula_79, se da una y sólo una de las siguientes condiciones: