解异或方程组