C语言中有关有符号数和无符号数的练习

在看《深入理解计算机系统》时，关于整数运算的这节的部分练习

假设我们对有符号值使用补码运算32位机器上运行代码，对于有符号值使用算术右移。

int x = foo();

int y = bar();

unsigned ux = x;

unsigned uy = y;

对下列C表达式，是否都真，若不为真，找到使其为假的x和y值，若为真，说明理由

A. (x>0) || (x-1<0)

情况A: x = -2^31时(x>0)为假，(x-1 < 0)中，由于是有符号数，会溢出最后结果是2^31-1,所以也为假

B.(x&7)!=7 || (x<<29 < 0)

情况B：(x&7)!=7不为真时，x=7，在这种情况下，(x<<29)溢出结果为负，所以（x<<29 < 0)为真

C.(x*x) >= 0

情况C: 2^16 - 1<= x < 2^31-1时为假

D.x<0 || -x<=0

情况D:因为-2^31 <= x <= 2^32 -1,在x>=0时，x<0为假，而-x不会溢出，所以-x<=0为真 

E.x>0 || -x>=0

情况D:x=-2^31时x>0为假，-x溢出为负，所以-x>=0也为假

F.x+y == ux+uy

情况E:当x+y>2^31 - 1时，(x+y)溢出为负，ux+uy为正，故为假

G.x*~y + uy*ux == -x     //~y应该是二进制的位取非吧

情况G:还不知道怎么做，如果有知道的，请告知

解释的不好，如果有说错或是有更好说明的，希望可以给出，谢谢！