논리합, OR 게이트 📂양자정보이론

논리합, OR 게이트

Disjunction, OR Gate

양자정보이론
[ 펼치기 · 접기 ]

정의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}$
$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) $$

같이보기


  1. 김영훈·허재성, 양자 정보 이론 (2020), p84 ↩︎

댓글