蛇形方正的一个代码的疑问

那个！=a[x]【y+1】是什么意思啊，不等于不就是false了吗，就跳出while了啊,求解答qyhsvshsjsj

! 逻辑运算符，非(!)
在c语言，!x 是 对x 的“逻辑非”运算。
当 x 不等于0 时，x 为真，!x 就为 假。
当 x 等于0 时， x 为假，!x 就为 真。