蕴涵门

基本逻辑闸
缓冲	非
与	与非
或	或非
异或	同或
蕴含	蕴含非

输入 A   B		输出 A → B
0	0	1
0	1	1
1	0	0
1	1	1

蕴含闸（英语：Implies gate，简称IMPLY gate）是数位逻辑电路中的一种逻辑闸，主要用来完成布林代数中实质条件、实质蕴涵或蕴涵算子。

蕴含闸（IMPLY gate）的电路符号

蕴含闸可由CMOS或其他电晶体设计，利用如下公式：

$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

如果B为逻辑真, 无论A为任何值都会输出逻辑真的讯号。

其中，X代表输入的是无论何值皆可。

如果B为逻辑假, 并且A为逻辑假, 才会输出逻辑真的讯号。

其余情况则输出逻辑假的讯号。

蕴含闸可以用来判断两输入的或是否为第二输入。

概述

表达式	符号		功能表
	ANSI/IEEE	IEC
$Y=A\to B$ $Y={\overline {(A\land {\overline {B}})}}$ $Y={\overline {A}}\lor B$			A B $Y=A\to B\,$ 0 0 1 0 1 1 1 0 0 1 1 1

电路实现

• 
  NMOS蕴含闸
• 
  PMOS蕴含闸
• 
  静态CMOS蕴含闸
• 
  TTL蕴含闸
• 
  忆阻器蕴含闸
• 
  用或非闸实现的蕴含闸
• 
  用与非闸实现的蕴含闸

复合逻辑闸

使用蕴含闸组合成的反及闸

大部分的逻辑闸都可以用蕴含闸组合而成，例如反及闸可以用两个蕴含闸组合而成：

${\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}}$

其他逻辑闸

蕴含非闸

蕴含非闸，简称NIMPLY gate是数位逻辑电路中实现非蕴涵的一种逻辑闸。

这种运作方式的元件已在生物学的逻辑信号中有相关研究。

表达式	符号		功能表
	ANSI/IEEE	IEC
$Y=A\nrightarrow B$ $Y=\lnot (a\to b)$ $Y=a\land \lnot b$			A B $Y=A\nrightarrow B\,$ 0 0 0 0 1 0 1 0 1 1 1 0

参见

• 布林代数
• 数位逻辑
• 忆阻器