異或（XOR）和同或（XNOR）是兩種邏輯運算。它們的公式如下：

異或（XOR）：當兩個輸入值不同時，輸出為1，否則輸出為0。

A XOR B = (?A ∧ B) ∨ (A ∧ ?B)

同或（XNOR）：當兩個輸入值相同時，輸出為1，否則輸出為0。

A XNOR B = (A ∧ B) ∨ (?A ∧ ?B)

其中，符號“∧”表示邏輯與（AND），符號“∨”表示邏輯或（OR），符號“?”表示邏輯非（NOT）。