蕴涵门^[1]（英语：Implies gate，简称IMPLY gate）^[2]是数字逻辑电路中的一种逻辑门，主要用来完成布尔代数中实质条件、实质蕴涵或蕴涵算子。

蕴涵门可由CMOS或其他晶体管设计，利用如下公式：

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

另外蕴涵门也可以由忆阻器组成，且只需要由两个忆阻器即可组成^[3][4]，由于布尔代数的特性可使其他布尔函数化成由逻辑蕴含表示^[5]，因此利用蕴涵门与忆阻器来设计晶体管可以大幅缩小体积^[6]。

性质

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

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

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

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

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

概述

表达式	符号		功能表
	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

电路实现

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

复合逻辑门

大部分的逻辑门都可以用蕴涵门组合而成，例如与非门可以用两个蕴涵门组合而成^[9]：

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

其他逻辑门

蕴含非闸

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

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

表达式	符号		功能表
	ANSI/IEEE	IEC
${\displaystyle Y=A\nrightarrow 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

参见

维基共享资源上的相关多媒体资源：蕴涵门

查看维基词典中的词条“implication gate”。

• 布尔代数
• 数字逻辑
• 忆阻器

参考文献

查 论 编 逻辑联结词 恒真（${\displaystyle \top }$） 与非（${\displaystyle \uparrow }$） 反蕴涵（${\displaystyle \leftarrow }$） 蕴涵（${\displaystyle \rightarrow }$） 或（${\displaystyle \lor }$） 非（${\displaystyle \neg }$） 异或（${\displaystyle \oplus }$） 双条件（${\displaystyle \leftrightarrow }$） 命题 或非（${\displaystyle \downarrow }$） 非蕴涵（${\displaystyle \nrightarrow }$） 反非蕴涵（${\displaystyle \nleftarrow }$） 与（${\displaystyle \land }$） 恒假（${\displaystyle \bot }$）