의견.png

배타적 논리합

해시넷
Rhkd1456 (토론 | 기여)님의 2019년 10월 23일 (수) 14:46 판 (대체 기호)
이동: 둘러보기, 검색

배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우 판단하는 논리 연산이며, 약칭으로 XOR, EOR, EXOR이라고 쓴다. exclusive OR, exclusive NOR, 보통 exclusive의 e나 x를 따와서 EOR 또는 XOR로 표기하는데, 보통 XOR로 많이 사용한다. exclusive는 '배타적'이라는 뜻으로, 우리들은 일상속에서 남을 배척하는 것을 보통 배타적이라고 말한다. X, Y가 0또는 1인 값을 가질 때, X와 Y의 배타적 논리합을 XY로 표현할 수 있다. X와 Y의 값이 같을 때 XY=0, 값이 다를 때 XY=1로 출력된다.

연산자는 , ⩒ 이다. 혼동이 되지 않을 경우 XOR, xor, , +, 라고도 쓴다. 추가로 컴퓨터 프로그래밍 등에서 응용 수학으로 비트간 배타적 논리합(bitwise exclusive or)을 간단히 배타적 논리합, XOR이라고 부르는 경우가 있다. 연산자는 XOR, xor, , ^ 등을 사용한다.

특징

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

  ¬¬
¬ ⋁ ¬
⋀ ¬

라고 표현할 수 있다.

2를 몫으로 하는 잉여류체/[2] 의 가감산(덧셈과 뺄셈이 같다)은 0을 거짓, 1을 참으로 생각하면 배타적 논리합이 된다.

대체 기호

배타적 분리에 사용되는 기호는 응용 분야마다 다르고 주어진 논의 상황에서 강조되는 속성에 따라 달라진다. 약아 "XOR" 이외에도 표시된다.

  •  : 더하기 부호는 수학링과 필드의 모든 일반적인 대수적 속성은 추가하지 않고도 사용할 수 있다는 장점이 있지만, 더하기 기호는 또한 일부 표기 시스템에서 포괄적 분리에 사용된다.
진리표
명제 P명제 QP Q
110
101
011
000

배타적 논리합 게이트

배타적 논리합(XOR)게이트는 참 입력의 개수가 홀수일 때 참(1/high) 출력을 보내는 디지털 논리 게이트이다. 배타적 논리합을 구현하며 게이트의 입력중 하나만이 오직 참이라면 그 결과는 참이 된다. 즉, XOR 게이트에서 입력 값이 A가 Low이고 입력 값이 B가 High이거나 또는 입력 값이 A가 High이고 입력 값이 B가 Low일 때 출력은 High가 되며, A와 B가 모두 High이거나 Low이면 출력은 Low가 된다.

배타적 논리합 게이트

기호

XOR 게이트의 기호는 두 가지인, 전통적인 기호와 IEEE 기호가 있다.

전통적인 XOR 기호
IEEE XOR 기호


  의견.png 이 배타적 논리합 문서는 암호 알고리즘에 관한 토막글입니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 이 문서의 내용을 채워주세요.