logo

論理和、ORゲート

論理和、ORゲート

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

定義1

以下のようなブール関数を**OR\text{OR} ゲート**OR gateまたは論理和disjunctionと呼び、以下のように表記する。

:{0,1}2{0,1} \lor : \left\{ 0, 1 \right\}^{2} \to \left\{ 0, 1 \right\}

00=0,01=1,10=1,11=1 0\lor 0 = 0,\quad 0\lor 1 = 1,\quad 1\lor 0 = 1,\quad 1\lor 1 = 1

説明

OR\text{OR} ゲートは2つの真理値を1つの真理値に変換し、2つの真理値のうち一方でも真であれば真を返す。

부울 함수기호진리표
OR\text{OR}
aabbaba \lor b
000000
001111
110011
111111

NOT\text{NOT} ゲートAND\text{AND} ゲートで表現可能である。

ab=¬(¬a¬b) a \lor b = \lnot(\lnot a \land \lnot b)


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