否定論理和

否定論理和（ひていろんりわ）とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。矢印の「↓」を用いて"A ↓ B"とする表記方法もある。

 性質 
否定論理和（NOR）は否定論理積（NAND）と同様に完全性(万能性とも)を持ち、NORのみで任意の論理関数を表現することが出来る。以下にNOT・AND・ORのNORのみによる構成を示す。

NOT A = A NOR A
 A AND B = ( NOT A )  NOR ( NOT B ) = ( A NOR A ) NOR ( B NOR B )
 A OR B = NOT ( A NOR B ) = ( A NOR B ) NOR ( A NOR B )

 真理値表 
否定論理和の真理値表
 命題 P  命題 Q  P NOR Q            

 関連項目 
NORゲート
論理和
否定論理積
真理値
真理値表
ブール代数
ブール論理
ブール関数
ベン図

Category:論理結合子
Category:論理記号
Category:数学に関する記事

es:Puerta lógica#Puerta NO-O (NOR)
it:Algebra di Boole#OR
nl:NOR-poort