論理和、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}$ ゲートは2つの真理値を1つの真理値に変換し、2つの真理値のうち一方でも真であれば真を返す。
부울 함수 | 기호 | 진리표 | |||||||||||||||
$\text{OR}$ |
|
$\text{NOT}$ ゲートと$\text{AND}$ ゲートで表現可能である。
$$ a \lor b = \lnot(\lnot a \land \lnot b) $$
김영훈·허재성, 양자 정보 이론 (2020), p84 ↩︎