📂양자정보이론

논리합, OR 게이트

양자정보이론

[ 펼치기 · 접기 ] 양자계산 논리게이트 비트 · 부울함수(AND · OR · NOT · XOR · NAND · NOR · CNOT · CCNOT · CSWAP) · 범용 게이트 · 복제 함수 · 사영 · 주입 양자게이트 큐비트 · 양자 얽힘 · 양자 회로 · 양자 게이트(파울리 게이트 · 위상 게이트 · 아다마르 게이트 · 양자 CNOT · 교환 게이트 · 양자 CSWAP · 양자 CSWAP) · 솔베이-키타예프 정리 · 복제 불가 정리 정보이론 고전정보이론 정보량 · 엔트로피(결합 엔트로피 · 조건부 엔트로피 · 상대적 엔트로피 · 상호 정보 ) · 부호화 · 복호화 양자정보이론 TBD · TBD · TBD 관련 분야 선형대수 · 양자역학

정의¹

다음과 같은 부울함수를 $\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}$		$a$ $b$ $a \lor b$ $0$ $0$ $0$ $0$ $1$ $1$ $1$ $0$ $1$ $1$ $1$ $1$

$\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}$ 게이트}