Logic

論理回路の完備性・完全性について

・論理回路の完備性・完全性(completeness)について いまいち理解がすっきりしなかったのでうんうん考えていた。これは論理学における関数の完全性の概念と同じ。{AND∧,OR∨,NOT¬}の演算子のみで任意の数の引数をとる全ての論理関数を構成できるというもの。c…