否定論理積とは、与えられた二つの命題がともに真でない場合に真を返す論理演算のことです。
例えば、命題Aと命題Bの否定論理積A NAND Bは、以下の真理値表で表されます。
なお、否定論理積は、2入力の論理積の論理否定と言えます。