否定論理和

否定論理和（NOR）

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

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

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