否定論理和

提供: miniwiki
移動先:案内検索

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

性質

ファイル:Venn1000.svg
否定論理和(NOR)

否定論理和(NOR)は否定論理積(NAND)と同様に functionally complete である(詳細は否定論理積#完全性を参照)。以下に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

関連項目

テンプレート:論理演算

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