否定論理積

論理演算の一。

二つの命題pとqのどちらも「真」（または「1」）である時のみ「偽」（または「0」）となる命題、または演算のこと。

NAND（ナンド）。

コンピューターでこのような演算を行う論理回路においては、電流が流れる場合を「真」、流れない場合を「偽」と対応させ、NAND回路などと呼ぶ。