XOR 高斯消元矩阵第二步将第一行异或到第三行，消去第一列并得到依赖行。 用一行 XOR 另一行：解集不变，却能让某列只留下一个主元。1 1 0 | 10 1 1 | 01 0 1 | 1R3 ^= R11 1 0 | 10 1 1 | 00 1 1 | 0重复行表示一条约束由其他约束推出，不会增加秩。