Модифицированные обратный и дополнительный кодыДля определения переполнения используют выражение (3.19) — булеву функцию трех переменных. С целью более удобного обнаружения переполнения в обратном и дополнительном кодах можно применить т. н. "модифицированные" их представления:
(Страница61) Нетрудно показать, что модифицированные коды отличаются от соответствующих обычных наличием дополнительного знакового разряда: "плюс" кодируется 00, а "минус" — 11. Эта своеобразная избыточность, сохраняя все качества обычных обратных и дополнительных кодов, позволяет фиксировать факт переполнения по неравнозначности знаковых разрядов результата. Заметим, что использование модифицированного дополнительного кода не решает проблемы обнаружения переполнения в случаях A<0, B<0,
|
(3.23)
(3.24)
