Disjunction, OR Gate
양자정보이론 | ||||||||||||||||
[ 펼치기 · 접기 ]
|
Definition1
The following Boolean function is called $\text{OR}$ Gate or Disjunction, and it is denoted as follows.
$$ \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 $$
Description
$\text{OR}$ Gate sends two truth values to one truth value, and it returns true if there is at least one true value among the two.
부울 함수 | 기호 | 진리표 | |||||||||||||||
$\text{OR}$ |
|
This can be expressed with $\text{NOT}$ Gate and $\text{AND}$ Gate.
$$ a \lor b = \lnot(\lnot a \land \lnot b) $$
Kim Young-hoon·Heo Jae-seong, Quantum Information Theory (2020), p84 ↩︎