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