Por un lado, si formula_12, es decir que son mutuamente excluyentes, entoncesformula_13