否定論理積

性質 
 完全性 
一般に、いくつかの限られた種類の論理演算を任意個組み合わせることにより、任意のブール関数を構成可能であることを、その演算の組は functionally complete であるという（詳細は英語版記事 :en:Functional completeness を参照）。ANDとORはどちらも単調であるため「ANDとOR」だけでは完全にならず、NOTを加える必要がある。一方「ANDとNOT」や「ORとNOT」は完全であり、ANDとNOTの組合せであるNAND（や、NOR（否定論理和））はそれひとつだけで完全である。以下にNOT・AND・ORのNANDのみによる構成を示す。

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

 真理値表 
否定論理積の真理値表
 命題 P  命題 Q  P NAND Q            

 ベン図 
否定論理積のベン図

150px|否定論理積のベン図

 応用 
NANDゲートなどの記事を参照。

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

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

pt:NAND