返信先: P52 論理式について

NANDは、ANDの否定です。

(X NAND X)だと、
(X AND X)→Xなので、これの否定→NOT X
ベン図だと、Xの外側を塗りつぶします。