Si formula_13 e formula_14, entonces formula_15; de lo contrario formula_16, donde