题解中对如何判断 $p_i$ 是否属于 $S$ 的部分我没有看懂，对应的代码如下所示：

bool judge(int x) {
    for (int i = n - 1; i >= 0; i--) {
        if (x & (1 << i)) {
            if (!b[i]) {
                b[i] = x;
                return true;
            }
            else {
                x ^= b[i];
            }
        }
    }
    return false;
}

有大佬能解释下这里的原理吗？