ここまでのまとめ

• すべての計算は足し算で何とかなる。
• 足し算はANDとORとNOTの回路で計算できる。
• …ということは、結局全ての計算は AND と OR と NOT 回路でできる。
• さらに $A\cdot B=\overline{\bar{A}\cup\bar{B}}$の関係を考えると、 あらゆる計算はAND とNOT(もしくは OR と NOT)で行える と言える。