XとYの否定論理積 X NAND Yは、NOT(X AND Y) として定義される。X OR YをNANDだけを使って表した論理式はどれか。
ア ((X NAND Y) NAND X) NAND Y
イ (X NAND X) NAND (Y NAND Y)
ウ (X NAND Y) NAND (X NAND Y)
エ X NAND (Y NAND (X NAND Y))
イ
NOT(X OR Y) = NOT(X) AND NOT(Y)
NOT(X AND Y) = NOT(X) OR NOT(Y)
であることを踏まえる。
(X NAND X) NAND (Y NAND Y)
= NOT(X) NAND NOT(Y)
= NOT(NOT(X) AND NOT(Y)) ・・・問題の定義より
= NOT(NOT(X OR Y))
= X OR Y (∵ 否定の否定は肯定)
問2 | 目次 | 問4 |