蘊含閘

輸入A   B  輸出 A → B0  0  10  1  11  0  01  1  1
蘊含閘電腦名詞譯名  Implies gate→蘊含閘 iicm.org.tw  [2015-9-30]（，簡稱）是數位邏輯電路中的一種邏輯閘，主要用來完成布林代數中實質條件、實質蘊涵或蘊涵算子。

蘊含閘可由CMOS或其他電晶體設計，利用如下公式：

另外蘊含閘也可以由憶阻器組成，且只需要由兩個憶阻器即可組成imply gate  zigwap.com  [2015-9-30]可配置性憶阻器現身　CPU掰掰 雙憶阻元件實現蘊含閘 eettaiwan.com [2015-9-30]，由於布林代數的特性可使其他布林函數化成由邏輯蘊含表示Imply Logic Implementation of Carry Save Adder Using Memristors  ijera.com [2015-9-30]，因此利用蘊含閘與憶阻器來設計電晶體可以大幅縮小體積。

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

概述
 表达式 符號 功能表ANSI/IEEE IEC 125px|center125px|center A B  0  0  1 0  1  1 1  0  0 1  1  1

 電路實現 

 複合邏輯閘 
大部分的邏輯閘都可以用蘊含閘組合而成，例如反及閘可以用兩個蘊含閘組合而成Disclosing the secrets of memristors and implication logic  web.cecs.pdx.edu [2015-9-30]：

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

這種運作方式的元件已在生物學的邏輯信號中有相關研究。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) 
 表达式 符號 功能表ANSI/IEEEIEC 125px|center125px|center A B  0  0  0 0  1  0 1  0  1 1  1  0

 參見 

布林代數
數位邏輯
憶阻器

 參考文獻 

Category:逻辑门
Category:電腦小作品