間違えて書き込んでしまった...

ところで命題論理で¬、→、∧、∨だけでは
2値論理をすべて網羅することはできないみたいですね。
＝を付け加えてようやく16パターンが完成する。