否定論理和

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

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

性質[編集]

否定論理和(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

関連項目[編集]