notAnd系の構造って洞う成ってるの。NOR系でも構いやしないけど。 交換法則は成り立つ。詰り、 nandの式を単純に、一方行のグラフと表せる。 notはnandで表せる。即ち、 であるから、二重否定の法則は、 と成る。 結合法則は成り立たない。 且つ、 であり、…