"배타적 논리합"의 두 판 사이의 차이
(→특징) |
(→특징) |
||
3번째 줄: | 3번째 줄: | ||
== 특징 == | == 특징 == | ||
배타적 논리합은 논리합, 논리곱, 부정을 사용하여<br> | 배타적 논리합은 논리합, 논리곱, 부정을 사용하여<br> | ||
+ | <math> P </math><font> ⊻ </font><math>Q </math><math>=</math><math>(P</math> <font>⋀</font> <font>¬</font><math>Q)</math><font> ⋁ </font><math>(</math><font> ¬</font><math>P </math><font> ⋀ </font><math> Q)</math> | ||
+ | |||
<math> P </math><font> ⊻ </font><math>Q </math><math>=</math><math>(P</math> <font>⋁</font> <font>¬</font><math>Q)</math><font> ⋁ </font><math>(</math><font> ¬</font><math>P </math><font> ⋀ </font><math> Q)</math> | <math> P </math><font> ⊻ </font><math>Q </math><math>=</math><math>(P</math> <font>⋁</font> <font>¬</font><math>Q)</math><font> ⋁ </font><math>(</math><font> ¬</font><math>P </math><font> ⋀ </font><math> Q)</math> | ||
− | |||
− |
2019년 10월 23일 (수) 13:21 판
배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우 판단하는 논리 연삭이며, 약칭으로 XOR, EOR, EXOR이라고 쓴다. 연산자는 ⊻, ⩒ 이다. 혼동이 되지 않을 경우 XOR, xor, ⊕, +, ≠라고도 쓴다.
특징
배타적 논리합은 논리합, 논리곱, 부정을 사용하여
⊻ ⋀ ¬ ⋁ ¬ ⋀
⊻ ⋁ ¬ ⋁ ¬ ⋀