否定論理積

否定論理積（ひていろんりせき）とは、与えられた複数の命題のうちに偽 (False)であるものが含まれることを示す論理演算である。NAND (Not AND; "ナンド"と読まれる)と表記される。別の表記法として、が1913年に導入したシェファーの棒記号（、記号 "|" で表す）や矢印の「↑」を用いる表記法もある。
性質.
完全性.
一般に、いくつかの限られた種類の論理演算を任意個組み合わせることにより、任意のブール関数を構成可能であることを、その演算の組は functionally complete であるという（詳細は英語版記事 を参照）。ANDとORはどちらも単調であるため「ANDとOR」だけでは完全にならず、NOTを加える必要がある。一方「ANDとNOT」や「ORとNOT」は完全であり、ANDとNOTの組合せであるNAND（や、NOR（否定論理和））はそれひとつだけで完全である。以下にNOT・AND・ORのNANDのみによる構成を示す。
真理値表.
否定論理積の真理値表
ベン図.
否定論理積のベン図
応用.
NANDゲートなどの記事を参照。