无符号整数变量ux和uy的声明和初始化如下：
unsigned ux = x;
unsigned uy = y;
若sizeof(int) =4,则对于任意int型变量x和y，判断以下关系表达式是否永真。若永真则给出证明；若不永真则给出结果为假时x和y的取值。
（1）(x*x)>=0 （2）(x-1<0) || x>o
（3）x<0 || -x<=0 （4）x>0 || -x>=0
（5）x&0xf! = 15 || (x<<28)<0 （6）x>y==(-x<-y)
（7）-x+-y==-(x+y) （8）(int)(ux-uy)==-(y-x)
（9）((x>>2)<<2) <=x （10）x*4+y*8==(x<<20)+(y<<3)
（11）x/4+y/8==(x>>2)+(y>>3) （12）x*y==ux*uy
（13）x+y==ux+uy （14）x*-y+ux*uy==-x
