배타적 논리합

배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우 판단하는 논리 연삭이며, 약칭으로 XOR, EOR, EXOR이라고 쓴다. 연산자는 ⊻이다. 혼동이 되지 않을 경우 XOR, xor, ⊕, +, ≠라고도 쓴다.

특징

배타적 논리합은 논리합, 논리곱, 부정을 사용하여 구문 분석 실패 (구문 오류): {\displaystyle P⊻Q=(P⋀¬Q)⋁(¬P⋀Q)}