Agregando las cuestiones relacionas a la ecuación semántica del IfThenElse.