关于补码，一般在定模内进行讨论，比如4位。
则，1的补码为0001，-2的补码为1110.
可以总结对于一个正整数A（1~7），A补码各位取反加1后等于-A的补码，反之一个负整数B（-1~-8）补码各位取反加1后等于-B的补码。假定A~表示对A二进制码各位取反，X=-Y，则有补码相加过程简写
X~ + 1 = Y
Y~ + 1 = X
可推X~ + 1 = （X - 1）~ (1)
一时想不出来证明思路，求证推导式(1)

你到底想证明什么?我感觉你学偏了

。。。。。懂不了