Cuando la representación de enteros es en Ca1 o Ca2, el desbordamiento se detecta cuando existe contradicción entre el bit de signo de los operandos y el bit de signo del resultado: