数学 Wiki
Advertisement

否定論理積 (nand) とは、論理学における結合子の一つであり、NAND と表記される[1]。棒記号「|」が使われる時には、発見者の名前にちなんだシェーファーの棒 (Sheffer stroke) とも呼ばれる。上矢印記号「↑」が使われることもある。

真理表

A B AB

特徴

否定論理積は、否定論理和と共に、1つで十全あるシェーファー関数である。

証明

否定論理積だけで十全であることを証明するためには、否定論理積で全ての真理関数が表現できることを示せばよい。十全の項目によれば、は十全であることが既に分かっている。従って、論理的同値を否定論理積のみで作りだせればよい。

否定論理積だけで、が表現できた。よって、否定論理積のみで十全にすることが可能である。

出典

Advertisement