Las primeras dos condiciones son las que necesitamos para calcular la máxima excursión de salida, hice un dibujo para ver si lo puedo explicar mejor:
Siempre nos quedamos con la condición más restrictiva, que en este caso es que V0-vopmax>0, donde vopmax=ganancia.vinmax. Entonces, en esa ecuación queda definida la máxima amplitud de salida. Lo que quise decir es lo que mencionó, que como se rompe antes la condición de saturación, no la vemos. Entonces, solamente deberíamos poder ver la saturación por arriba a VDD?
Saludos, Lucas