异或同或逻辑公式（同或与异或逻辑符号推导过程）

异或（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）。