二进制补码加减证明

$a$的补码 加 $b$的补码 为 0

$a$ 与$ b$ 互为相反数

$a$ 和$ b$ 又可以分解成 $a1$ +$ a2 $ $b1$+$b2$ 形式

假设有一个不等于$b$的负数$c$

若$ c$ 的绝对值大于$a$

则可以分解成

$a+（-a-c1）$   加法分解；

然后 又因为相反数相加为 0

即可得到正确答案