或非门

下列包括逻辑门的3种符号：形状特征型符号（ANSI/IEEE Std 91-1984）、IEC矩形国标符号（IEC 60617-12）和不再使用的DIN符号（DIN 40700）。其他的逻辑门符号见逻辑门符号表。

表达式	符号			功能表	继电器逻辑
	ANSI/IEEE Std 91-1984	IEC 60617-12	DIN 40700
${\displaystyle Y={\overline {A+B}}}$ ${\displaystyle Y={\overline {A\vee B}}}$ ${\displaystyle Y=A{\overline {\vee }}B}$				A B ${\displaystyle Y=A+B\,}$ ${\displaystyle Y={\overline {A+B}}}$ 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0

或非门是基本的门电路，因此常用於晶体管－晶体管逻辑（TTL）和CMOS集成电路。标准4000系列CMOS集成电路是4001，包含四个2输入或非门。引脚分配如下：

4001四或非门DIP封装集成电路的引脚分配图

输入A1 输入B1 输出Q1 输出Q2 输入B2 输入A2 VSS 输入A3 输入B3 输出Q3 输出Q4 输入B4 输入A4 VDD

CMOS或非门的集成电路版图

上图展示了使用NMOS线路的2输入或非门的构造。如果输入都是高电平，对应的NMOS就会接通，输出会被拉到低电平；反之输出会通过上拉电阻被拉到高电平。下图展示了使用CMOS技术的2输入或非门。输出端的二极管和电阻用来保护CMOS元件，以防其受到静电放电（ESD）的损害，从而在电路的逻辑功能中发挥不了作用。

无缓冲CMOS 2输入或非门

备选方案

与非门构建的或非门

或非门构建的与非门

如果没有专门的或非门，可以用与非门实现或非门，方法是将两个输入接在一起的与非门作为另外一个与非门的两个输入，然後在後者的输出接一个输入接在一起的与非门，即可实现或非门。任何逻辑门都可以用与非门的组合或或非门的组合实现。

与非门实现的或非门逻辑函数如下：

${\displaystyle x{\overline {\lor }}y=\left[\left(x{\overline {\land }}x\right){\overline {\land }}\left(y{\overline {\land }}y\right)\right]{\overline {\land }}\left[\left(x{\overline {\land }}x\right){\overline {\land }}\left(y{\overline {\land }}y\right)\right]}$

或非门具有函数完备性，和与非门一样可以仅用其实现其他所有的逻辑功能。

NOT（非）	${\displaystyle {\overline {x}}}$	${\displaystyle \equiv }$	${\displaystyle x{\overline {\lor }}x}$
AND（与）	${\displaystyle x\land y}$	${\displaystyle \equiv }$	${\displaystyle \left(x{\overline {\lor }}x\right){\overline {\lor }}\left(y{\overline {\lor }}y\right)}$
NAND（与非）	${\displaystyle x{\overline {\land }}y}$	${\displaystyle \equiv }$	${\displaystyle \left[\left(x{\overline {\lor }}x\right){\overline {\lor }}\left(y{\overline {\lor }}y\right)\right]{\overline {\lor }}\left[\left(x{\overline {\lor }}x\right){\overline {\lor }}\left(y{\overline {\lor }}y\right)\right]}$
OR（或）	${\displaystyle x\lor y}$	${\displaystyle \equiv }$	${\displaystyle \left(x{\overline {\lor }}y\right){\overline {\lor }}\left(x{\overline {\lor }}y\right)}$
NOR（或非）	${\displaystyle x{\overline {\lor }}y}$	${\displaystyle \equiv }$	${\displaystyle x{\overline {\lor }}y}$
XOR（异或）	${\displaystyle x{\underline {\lor }}y}$	${\displaystyle \equiv }$	${\displaystyle \left(x{\overline {\lor }}y\right){\overline {\lor }}\left[\left(x{\overline {\lor }}x\right){\overline {\lor }}\left(y{\overline {\lor }}y\right)\right]}$
XNOR（同或）	${\displaystyle x{\overline {\underline {\lor }}}y}$	${\displaystyle \equiv }$	${\displaystyle \left[\left(x{\overline {\lor }}y\right){\overline {\lor }}x\right]{\overline {\lor }}\left[\left(x{\overline {\lor }}y\right){\overline {\lor }}y\right]}$
蕴涵	${\displaystyle x\rightarrow y}$	${\displaystyle \equiv }$	${\displaystyle \left[\left(x{\overline {\lor }}x\right){\overline {\lor }}y\right]{\overline {\lor }}\left[\left(x{\overline {\lor }}x\right){\overline {\lor }}y\right]}$
	${\displaystyle x\leftarrow y}$	${\displaystyle \equiv }$	${\displaystyle \left[x{\overline {\lor }}\left(y{\overline {\lor }}y\right)\right]{\overline {\lor }}\left[x{\overline {\lor }}\left(y{\overline {\lor }}y\right)\right]}$
等价	${\displaystyle x\leftrightarrow y}$	${\displaystyle \equiv }$	${\displaystyle \left[\left(x{\overline {\lor }}y\right){\overline {\lor }}x\right]{\overline {\lor }}\left[\left(x{\overline {\lor }}y\right){\overline {\lor }}y\right]}$
重言式	${\displaystyle {\mathsf {T}}}$	${\displaystyle \equiv }$	${\displaystyle \left[\left(x{\overline {\lor }}x\right){\overline {\lor }}x\right]{\overline {\lor }}\left[\left(x{\overline {\lor }}x\right){\overline {\lor }}x\right]}$
矛盾式	${\displaystyle \perp }$	${\displaystyle \equiv }$	${\displaystyle \left(x{\overline {\lor }}x\right){\overline {\lor }}x}$