x=y=0的否定是什么