배타적 논리합

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

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

같이 보기


도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-12-31 17:32 | 작성자 lifthrasiir