否定論理和とは？わかりやすく解説

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

性質

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

否定論理和の真理値表

表話編歴論理演算
恒真式 ( $\top$
NAND ( $\uparrow$ ) 逆含意 ( $\leftarrow$ ) IMP ( $\rightarrow$ ) OR ( $\lor$ )
否定 ( $\neg$ ) XOR ( $\oplus$ ) 同値 ( $\leftrightarrow$ ) 命題
NOR ( $\downarrow$ ) 非含意 ( $\nrightarrow$ ) 逆非含意 ( $\nleftarrow$ ) AND ( $\land$ )
矛盾 ( $\bot$ )


	(C)Shogakukan Inc. 株式会社小学館
	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの否定論理和 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。