Esto permite un mejor análisis para la simplificación de dichas funciones.