1.a⊕a=0

2.a⊕b=b⊕a

3.a⊕b⊕c=a⊕(b⊕c)=(a⊕b)⊕c;

4.d=a⊕b⊕c可以推出a=d⊕b⊕c.

5.a⊕b⊕a=b.

6.若x是二進制數(shù)0101，y是二進制數(shù)1011

則x⊕y=1110

只有在兩個比較的位不同時其結(jié)果是1，否則結(jié)果為0

即“相同為0，不同為1”！

異或邏輯的真值表如圖1所示，其邏輯符號如圖2所示。異或邏輯的關(guān)系是：當AB不同時，輸出P=1；當AB相同時，輸出P=0。“⊕”是異或運算符號，異或邏輯也是與或非邏輯的組合，其邏輯表達式為：

P=A⊕B

由圖1可知，異或運算的規(guī)則是

0⊕0=0,0⊕1=1

1⊕0=1,1⊕1=0

口訣：相同取0，相異取1

事實上，XOR在英文里面的定義為eitherone(isone),butnotboth，也即只有一個為真（1）時，取真（1）。

與其它語言不同，C語言和C++語言的異或不用xor，而是用“^”，鍵入方式為Shift+6。（而其它語言的“^”一般表示乘方）

若需要交換兩個變量的值，除了通常使用的借用中間變量進行交換外，還可以利用異或，僅使用兩個變量進行交換，如：a^=b^=a

這樣就完成了a與b的交換。

綜上：同一變量與另一變量和其異或值異或等于自身。

用例：可使用于加密算法某一環(huán)節(jié)或更多環(huán)節(jié)，使算法更復(fù)雜，不易被破解，安全性更高。^[1]

在計算機中普遍運用，異或(xor)的邏輯符號一般用xor，也有用⊕的：

真⊕假=真

假⊕真=真

假⊕假=假

真⊕真=假

或者為：

True⊕False=True

False⊕True=True

False⊕False=False

True⊕True=False

部分計算機語言用1表示真，用0表示假，所以兩個字節(jié)按位異或如下