배타적 논리합

\scriptstyle A\oplus B

의 벤 다이어그램

\scriptstyle A\oplus B\oplus C

의 벤 다이어그램

$~\oplus ~$ $~\Leftrightarrow ~$

배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이다. 약칭으로 XOR, EOR, EXOR라고도 쓴다.

연산자는 $\veebar$ (유니코드: U+22BB ⊻), ${\dot {\vee }}$ 이다. 혼동이 되지 않을 경우, XOR, xor, $\oplus$ (유니코드: U+2295 ⊕), +, ≠라고도 쓴다.

추가로 컴퓨터 프로그래밍 등에서 응용 수학으로, 비트간 배타적 논리합(bitwise exclusive or)을 간단히 배타적 논리합, XOR이라고 부르는 경우가 있다. 연산자는 XOR, xor, $\oplus$ , ^ 등이 사용된다.

예시 편집

“내 키는 160cm 이상이다.”와 “내 몸무게는 60kg 미만이다.” 이 두 명제의 배타적 논리합은, “내 키는 160cm 이상이고 몸무게는 60kg 이상이다. 혹은, 내 키는 160cm 미만이고 몸무게는 60kg 미만이다.”가 된다.

추가로, 두 명제 A,B에 대한 교집합 (A ∧ B)가 공집합이면, 배타적 논리합은 논리합과 같게 된다. 예를 들어, A = “내 키는 160cm이다.”와 B = “내 키는 170cm이다.”는 동시에 성립할 수 없기 때문에(교집합이 없음), (A xor B)와 (A ∨ B)는 동일하게 “내 키는 160cm와 170cm 중 하나다.”가 된다.

특징 편집

배타적 논리합은 논리합, 논리곱, 부정을 사용하여

P\veebar Q=(P\land \lnot Q)\lor (\lnot P\land Q)

P\veebar Q=(P\lor Q)\land (\lnot P\lor \lnot Q)

P\veebar Q=(P\lor Q)\land \lnot (P\land Q)

라고 표현할 수 있다.

2를 몫으로 하는 잉여류체 $\mathbb {Z} /[2]$ 의 가감산(이 체에서는 덧셈과 뺄셈이 같다)은 0을 거짓, 1을 참으로 생각하면 배타적 논리합이 된다. 같은 종류(거짓이나 참)를 더하면 거짓이 되고 다른 종류를 더하면 참이 된다.

진리표 편집

명제 P	명제 Q	P ⊻ Q
1	1	0
1	0	1
0	1	1
0	0	0

비트간 배타적 논리합 편집

이진법으로 표현한 수의 각 비트에 대한 2진 집합체 $\mathbb {Z} /[2]$ 에 가감산(0은 거짓, 1은 참으로 생각하고 배타적 논리합을 함)의 결과를 비트간 배타적 논리합, 배타적 비트화라고 하며 단순하게 배타적 논리합이라고도 한다.

비트간 배타적 논리합은 이진 유한체 $\mathrm {GF} (2^{n}),n\in \mathbb {N}$ 로 가감산(덧셈과 뺄셈이 같음)에 동일하다. 추가로, $\mathbb {Z} /[2]$ 는, 이진 유한체 $\mathrm {GF} (2)\,$ 이다.

0(거짓)과 1(참)에 대한 배타적 논리합과 비트간 배타적 논리합은 같다. 하지만 0과 1이외 다른 형태의 데이터가 있는 환경에서는 다른 형태의 데이터와 배타적 논리합(비트간 배타적 논리합이 아님)이 되어 결과적으로는 비트간 배타적 논리합과 다른 결과가 나오므로 주의해야 한다.

비트간 배타적 논리합은 비트 연산에서 특정 비트를 반전시키는 데 사용된다. 어느 수에서 반전을 하고 싶은 부분의 비트를 1로이 채워진 수와 배타적 논리합을 하면 지정된 부분이 반전된 수를 얻을 수 있다