蘊含閘

蘊含閘（，簡稱）是數位邏輯電路中的一種邏輯閘，主要用來完成布林代數中實質條件、實質蘊涵或蘊涵算子。

蘊含閘可由CMOS或其他電晶體設計，利用如下公式：
:Q = A \to B = \overline{(A \land \overline B)} = \overline A \lor B

另外蘊含閘也可以由憶阻器組成，且只需要由兩個憶阻器即可組成，由於布林代數的特性可使其他布林函數化成由邏輯蘊含表示，因此利用蘊含閘與憶阻器來設計電晶體可以大幅縮小體積。

性質
:如果B為邏輯真, 無論A為任何值都會輸出邏輯真的訊號。
::其中，X代表輸入的是無論何值皆可。
:如果B為邏輯假, 並且A為邏輯假, 才会輸出邏輯真的訊號。
:其余情況則輸出邏輯假的訊號。
:蘊含閘可以用來判斷兩輸入的或是否為第二輸入。

概述
|}

電路實現
File:NMOS IMPLY gate.png|NMOS蘊含閘
File:PMOS IMPLY gate.png|PMOS蘊含閘
File:CMOS IMPLY gate.png|靜態CMOS蘊含閘
File:TTL IMPLY Gate.png|TTL蘊含閘
File:IMPLY_gate_Memristor.png|憶阻器蘊含閘
File:IMPLY from NOR.svg|用或非閘實現的蘊含閘
File:IMPLY from NAND.svg|用與非閘實現的蘊含閘

複合邏輯閘
]]
大部分的邏輯閘都可以用蘊含閘組合而成，例如反及閘可以用兩個蘊含閘組合而成：
:\begin{align}
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{align}

其他邏輯閘
蘊含非閘
蘊含非閘，簡稱是數位邏輯電路中實現非蘊涵的一種邏輯閘。

這種運作方式的元件已在生物學的邏輯信號中有相關研究。

|}

參見
*布林代數
*數位邏輯
*憶阻器

參考文獻