Esta expresión puede ser evaluada para las condiciones formula_22, formula_23, formula_24 y formula_25, dando