====== 배타적 논리합 ======

Exclusive disjunction (XOR, EOR 또는 EXOR). [[불대수]]에서 두 개의 인자 중 정확히 하나가 참일 때 참을 반환하고, 둘 다 참이거나 둘 다 거짓이면 거짓을 반환하는 [[논리연산]]. 기호로는 $$\underline{\vee}$$, $$\oplus$$, ''^'' 등을 쓴다. 자연어에서 "or"이라고 말할 때는 일반적인 [[논리합]]보다 이 쪽을 가리키는 경우가 많다(이를테면 "철수 아니면 영희를 불러 와라"는 "철수와 영희를 불러 와라"를 함의하지 않는다).

불대수에서 필수적인 역할을 담당하지는 않지만, 이 연산자만 있으면 [[유한체]] $$\mathbb{F}_2$$와 동일해지기 때문에 유한체의 성질이 필요한 여러 응용, 이를테면 [[암호학]]에서 엄청나게 많이 쓰인다.

===== 같이 보기 =====

  * [[비트XOR|비트 XOR]]

{{tag>논리학}}