Este documento describe tres transformaciones para simplificar instrucciones condicionales IF/THEN/ELSE en programación: 1) la inversión de la prueba, que intercambia las cláusulas THEN y ELSE y cambia la prueba a su opuesto, manteniendo la equivalencia en la ejecución; 2) omitir la cláusula THEN cuando no se desea acción y usar una instrucción vacía; 3) la factorización desde abajo, que extrae instrucciones comunes de las cláusulas THEN y ELSE y las ejecuta después de la condic