否定論理積
否定論理積（ひていろんりせき）とは、与えられた複数の命題のうちに偽 (False)であるものが含まれることを示す論理演算である。NAND (Not AND; "ナンド"と読まれる)と表記される。別の表記法として、が1913年に導入したシェファーの棒記号（、記号 "|" で表す）や矢印の「↑」を用いる表記法もある。