练习题2.31-你的同事对你的补码加法分析有些不耐烦，他给出了一个函数tadd_ok的实现

补码加法的本质是模数加法，其实也就是mod意义下的加法。

比如x+y=sum发生正溢出，此时sum=x+y-2^w；再进行sum-y可以发现，sum-y=x+y-2^w-y=x-2^w;这里可以发现，x-2^w必定满足负溢出条件。

x-2^w<-2^(w-1)进行等价变形可以得知x<2^w-2^(w-1)=2^(w-1)是恒满足补码的x，y的范围条件的。所以这个必定产生负溢出。

因此sum-y=x-2^w发生负溢出，结果ans=sum-y+2^w=x；即恒成立逻辑表达式为1；

这也就是答案说的阿贝尔。

举例子：