논리합, OR 게이트
양자정보이론 | ||||||||||||||||
[ 펼치기 · 접기 ]
|
정의1
다음과 같은 부울함수를 $\text{OR}$ 게이트OR gate 혹은 논리합disjunction이라 하고 다음과 같이 표기한다.
$$ \lor : \left\{ 0, 1 \right\}^{2} \to \left\{ 0, 1 \right\} $$
$$ 0\lor 0 = 0,\quad 0\lor 1 = 1,\quad 1\lor 0 = 1,\quad 1\lor 1 = 1 $$
설명
$\text{OR}$ 게이트는 두 진리값을 하나의 진리값으로 보내며, 두 진리값 중 하나라도 참이 있으면 참을 반환한다.
부울 함수 | 기호 | 진리표 | |||||||||||||||
$\text{OR}$ |
|
$\text{NOT}$ 게이트와 $\text{AND}$ 게이트로 표현 가능하다.
$$ a \lor b = \lnot(\lnot a \land \lnot b) $$
같이보기
- $\text{AND}$ 게이트논리곱
- $\text{NOT}$ 게이트논리 부정
- $\text{XOR}$ 게이트배타적 논리합
- $\text{NAND}$ 게이트부정논리곱
- $\text{NOR}$ 게이트부정논리합
- $\operatorname{CNOT}$ 게이트
- 토폴리 게이트$\text{CCNOT}$ 게이트
- 프레드킨 게이트$\text{CSWAP}$ 게이트
김영훈·허재성, 양자 정보 이론 (2020), p84 ↩︎