сетка не переполняется, а значит не изменяется знак суммы
на противоположный.
Справедливость правила сложения чисел в обратном коде для случаев
проверяется непосредственно на основании приведенного определения этого правила. Например, при
получим, что
Из данного соотношения видно, что из знакового разряда возникает перенос, т.е.
Поэтому обратный код суммы
отрицательный нуль. Рассмотрим другие возможные случаи сложения чисел
Пусть
т. е. суммируются положительные числа
В этом случае сумма
и дополнительный код суммы:
Из данного выражения видно, что перенос из знакового разряда возникнуть не может, т.е. перенос
а значит
так как обратный и дополнительный коды положительных чисел совпадают. Таким образом, сформулированное правило сложения чисел в обратном коде справедливо при
Пусть
т.е. суммируются числа
В этом случае сумма
может иметь любой знак. Дополнительный код суммы определяется соотношением
Если сумма
то перенос из знакового разряда не возникает
так как иначе знак суммы изменился бы на противоположный. Поэтому обратный код суммы:
как и должно быть на основании связи обратного и дополнительного кодов отрицательных чисел. Если же сумма
то из выражения для дополнительного кода суммы следует, что должен возникать перенос из знакового разряда
так как в противном случае знак суммы изменился бы на противоположный. Поэтому обратный код суммы
как и должно быть, так как обратный и дополнительный коды положительных чисел совпадают. При
сумма
и обратный код суммы
т. е. в результате суммирования получается отрицательный нуль. Положительный и отрицательный нули при выполнении арифметических операций эквивалентны друг другу, т.е. появление отрицательного нуля не приводит к ошибкам в вычислительном процессе. Таким