Por lo que entiendo de mis notas de la conferencia, el desbordamiento se produce cuando:
- $C_{in} \neq C_{out}$
- Cambio en el signo
Para $C_{in} \neq C_{out}$: supongamos $111+111=1110=110$. En este caso,$C_{in}=0, C_{out}=1$, pero considere la posibilidad de llevar en a continuación: $111+111+1=1111=111$, que de acuerdo a mi la regla 1 anterior, NO es de desbordamiento... así que supongo que a mi entender está mal? Si es así ¿cómo puedo determinar desbordamiento de forma sistemática?
ACTUALIZACIÓN
Para aquellos que no están seguros de lo $C_{in}, C_{out}$ significa y cómo añadir/restar binario, espero que el siguiente trabajo de ayuda