在數位邏輯中，邏輯算符互斥或（英語：Exclusive or）是對兩個運算元的一種邏輯分析類型。與一般的邏輯或不同，當兩兩數值相同時為否，而數值不同時為真。

對於命題 ${\displaystyle p,q}$，${\displaystyle p}$互斥或${\displaystyle q}$通常記作${\displaystyle p\operatorname {XOR} q}$或${\displaystyle p\oplus q}$。在程式語言中，常寫作p ^ q。

邏輯互斥或相當於邏輯不等價，或者說邏輯互斥或的邏輯非是邏輯等價。