# 蘊含閘

 基本逻辑閘 緩衝 非 与 与非 或 或非 异或 同或 蘊含 蘊含非
 輸入A   B 輸出 A → B 0 0 1 0 1 1 1 0 0 1 1 1

${\displaystyle Q=A\to B={\overline {(A\land {\overline {B}})}}={\overline {A}}\lor B}$

## 性質

 輸入A   B 輸出 A → B X 1 1 0 0 1 1 0 0

## 概述

ANSI/IEEE IEC
${\displaystyle Y=A\to B}$

${\displaystyle Y={\overline {(A\land {\overline {B}})}}}$

${\displaystyle Y={\overline {A}}\lor B}$
A B ${\displaystyle Y=A\to B\,}$
0 0 1
0 1 1
1 0 0
1 1 1

## 複合邏輯閘

{\displaystyle {\begin{aligned}A\to (B\to 0)&={\overline {A}}\lor ({\overline {B}}\lor 0)\\&={\overline {A}}\lor {\overline {B}}\\&={\overline {A\land B}}\\&=A{\bar {\curlywedge }}B\end{aligned}}}

## 其他邏輯閘

### 蘊含非閘

ANSI/IEEE IEC
${\displaystyle Y=A\to B}$

${\displaystyle Y=\lnot (a\to b)}$

${\displaystyle Y=a\land \lnot b}$
A B ${\displaystyle Y=A\nrightarrow B\,}$
0 0 0
0 1 0
1 0 1
1 1 0

## 參考文獻

1. ^ 電腦名詞譯名页面存档备份，存于互联网档案馆） Implies gate→蘊含閘 iicm.org.tw [2015-9-30]
2. ^ 蘊含閘 implication gate. 國家教育研究院. [2019-04-09]. （原始内容存档于2019-06-03）.
3. ^ imply gate页面存档备份，存于互联网档案馆） zigwap.com [2015-9-30]
4. ^ 可配置性憶阻器現身　CPU掰掰[永久失效連結] 雙憶阻元件實現蘊含閘 eettaiwan.com [2015-9-30]
5. ^ Imply Logic Implementation of Carry Save Adder Using Memristors页面存档备份，存于互联网档案馆） ijera.com [2015-9-30]
6. ^ Kanellos, Michael. HP makes memory from a once theoretical circuit. CNET News.com. 2008-04-30 [2008-04-30]. （原始内容存档于2021-02-20）.
7. ^ Gregory S.;Stewart Duncan R.;Williams R. Stanley Strukov,Dmitri B.;Snider. The missing memristor found.Nature, 453:80–83, may 2008, [2015-9-30]
8. ^ Memristor-Based Material Implication IMPLY Logic: Design Principles and Methodo logies页面存档备份，存于互联网档案馆） technion.ac.il [2015-10-1]
9. ^ Disclosing the secrets of memristors and implication logic页面存档备份，存于互联网档案馆） web.cecs.pdx.edu [2015-9-30]
10. ^ Design and processing performance of synthetic N-IMPLY gates in human cells.页面存档备份，存于互联网档案馆） From Programmable single-cell mammalian biocomputers Simon Ausländer, David Ausländer, Marius Müller, Markus Wieland & Martin Fussenegger Nature (2012) doi:10.1038/nature11149