异或运算（XOR）是一种二进制运算，其数学符号为“⊕”，计算机符号为“xor”。异或运算的规则是：如果两个比较的位不同，则结果为1；如果相同，则结果为0。
异或运算的运算法则可以表示为：
```
a ⊕ b = （¬a ∧ b） ∨ （a ∧¬b）
```
或者等价地：
```
a ⊕ b = （a ∧ b） ∨ （a ∧¬b） ∨ （¬a ∧ b） ∨ （¬a ∧¬b） - 去掉重复项
```
这个运算法则意味着，当两个输入位不相同时，至少有一个操作数是1，所以结果为1；当两个输入位相同时，两个操作数都是0或都是1，所以结果为0。
例如，如果我们有两个二进制数 `0110` 和 `0100` 进行异或运算：
```
0110
^ 0100
-----
0010
```
结果是 `0010`，因为只有第二位不同，所以结果为1，其余位相同所以结果为0