非运算符！的不同表现

问题描述
我在测试C中int（32位）属性：INT_MIN + INT_MIN = 0（因为两个数最高位为1，其余均为0,，相加之后的进位被截断，因此只剩下0），
并用非运算符（！）来输出，结果发现：变量都是INT_MIN，同一变量相加得到的0，用！输出为0; 而不同变量相加得到的0，用！输出为1。
请问这是什么原理呢？我想和！运算符应该无关，可能是变量在内存存放的原因？

代码如下

int k = 0x80000000;  // INT_MIN
printf("k+k=0x%.8x\n!(k+k)=%d\n", k+k, !(k+k));  // 同一变量相加
int j = k;
printf("k+j=0x%.8x\n!(k+j)=%d\n", k+j, !(k+j));  // 不同变量相加

程序输出如下
k+k=0x00000000
!(k+k)=0
k+j=0x00000000
!(k+j)=1

希望有人能解答下我的疑惑。

! 后面的变量如果不是 0 值，看做是真值
而对 0 值取非，就是 1
!k 这种
如果 k ≠ 0，!k 就得 0
如果 k 为 0，!k 就得 1