Выдержка из книги
Криницкий Н.А.
Программирование Издание 2
Если число знаковых разрядов дополнительного кода & 1, то переполнение разрядной сетки проявляется в том, что в знаковых разрядах результата возникает недопустимая комбинация нулей и единиц. Это может служить признаком переполнения. При k 1 признаком переполнения является неравенство старших цифр дополнительных кодов исходных чисел и результата.
