XOR(排他的論理和)の論理回路をNANDゲートのみで構成する。

離散数学論理回路ブール代数NANDゲートXOR
2025/5/21

1. 問題の内容

XOR(排他的論理和)の論理回路をNANDゲートのみで構成する。

2. 解き方の手順

まず、XORの論理式を考える。XORは、入力Aと入力Bが異なるときに1を出力する。つまり、
XOR(A,B)=(A¬B)(¬AB)XOR(A, B) = (A \land \lnot B) \lor (\lnot A \land B)
ここで、NANDゲートのみで表現するために、以下の論理法則を利用する。
* ¬A=A NAND A\lnot A = A \text{ NAND } A (NOTゲートのNANDによる表現)
* AB=¬(A NAND B)A \land B = \lnot (A \text{ NAND } B) (ANDゲートのNANDによる表現)
* AB=(¬A) NAND (¬B)A \lor B = (\lnot A) \text{ NAND } (\lnot B) (ORゲートのNANDによる表現、ド・モルガンの法則)
XORの式をNANDで表現するために、上記の法則を適用していく。
XOR(A,B)=(A¬B)(¬AB)XOR(A, B) = (A \land \lnot B) \lor (\lnot A \land B)
まず、¬A\lnot A¬B\lnot BをNANDで表現する。
¬A=A NAND A\lnot A = A \text{ NAND } A
¬B=B NAND B\lnot B = B \text{ NAND } B
次に、A¬BA \land \lnot B¬AB\lnot A \land BをNANDで表現する。
A¬B=¬(A NAND ¬B)A \land \lnot B = \lnot (A \text{ NAND } \lnot B)
¬AB=¬(¬A NAND B)\lnot A \land B = \lnot (\lnot A \text{ NAND } B)
上記の式をXORの式に代入する。
XOR(A,B)=¬(A NAND ¬B)¬(¬A NAND B)XOR(A, B) = \lnot (A \text{ NAND } \lnot B) \lor \lnot (\lnot A \text{ NAND } B)
さらにORをNANDで表現する。
XOR(A,B)=¬(¬¬(A NAND ¬B) NAND ¬¬(¬A NAND B))XOR(A, B) = \lnot(\lnot \lnot (A \text{ NAND } \lnot B) \text{ NAND } \lnot \lnot (\lnot A \text{ NAND } B))
XOR(A,B)=¬((A NAND ¬B) NAND (¬A NAND B))XOR(A, B) = \lnot((A \text{ NAND } \lnot B) \text{ NAND } (\lnot A \text{ NAND } B))
¬B=B NAND B\lnot B = B \text{ NAND } B¬A=A NAND A\lnot A = A \text{ NAND } Aを代入
XOR(A,B)=¬((A NAND (B NAND B)) NAND ((A NAND A) NAND B))XOR(A, B) = \lnot((A \text{ NAND } (B \text{ NAND } B)) \text{ NAND } ((A \text{ NAND } A) \text{ NAND } B))
最後に、全体のNOTをNANDで表現する。
XOR(A,B)=((A NAND (B NAND B)) NAND ((A NAND A) NAND B)) NAND ((A NAND (B NAND B)) NAND ((A NAND A) NAND B))XOR(A, B) = ((A \text{ NAND } (B \text{ NAND } B)) \text{ NAND } ((A \text{ NAND } A) \text{ NAND } B)) \text{ NAND } ((A \text{ NAND } (B \text{ NAND } B)) \text{ NAND } ((A \text{ NAND } A) \text{ NAND } B))
整理すると、以下のようになる。

1. $N_1 = A \text{ NAND } B$

2. $N_2 = A \text{ NAND } A$

3. $N_3 = B \text{ NAND } B$

4. $N_4 = N_2 \text{ NAND } B$

5. $N_5 = A \text{ NAND } N_3$

6. $XOR = N_4 \text{ NAND } N_5$

この回路は、入力A,Bに対して、5つのNANDゲートを使用する。

3. 最終的な答え

XOR回路をNANDゲートのみで構成する回路図の具体的な記述は、上記の通り、5つのNANDゲートの接続関係で表されます。回路図をテキストで表現するのは困難であるため、上記のNANDゲートの接続関係の記述をもって解答とします。

「離散数学」の関連問題

全体集合$U = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}$の部分集合$A = \{1, 3, 5, 7, 9\}$, $B = \{4, 5, 6, 7\}$が与えられたと...

集合補集合
2025/8/3

a, b, c, d, e の5文字をすべて1列に並べて文字列を作り、それらを辞書式順序に配列する。 (1) 文字列 bdeac は何番目の文字列か? (2) 100番目の文字列は何か?

順列辞書式順序文字列場合の数
2025/8/3

右の地図にあるI, T, S, Aの4つの県を、赤、青、黄、緑の4色を使って塗り分ける方法について、以下の条件を満たす場合の数を求めます。ただし、隣り合う県は異なる色で塗る必要があります。 (1) 4...

場合の数塗り分けグラフ理論
2025/8/3

碁盤の目のように道路が整備された街において、地点Aから地点Bまで最短距離で移動する経路の数を求める問題です。 (1) 全ての経路の数 (2) 地点Cを通る経路の数 (3) 地点Pを通らない経路の数 (...

組み合わせ最短経路包除原理
2025/8/3

(1) 0, 1, 1, 2, 3 を使って 5 桁の整数を作るとき、何通りの数字ができるか。 (2) 75 名のクラスで、2 回の工場見学を行った。 1 回目の見学者は 26 名、2 回目の見学者は...

場合の数順列組合せ場合の数の問題重複順列
2025/8/3

組み合わせの問題を解く必要があります。 (1) ${}_{9}C_{2}$ を計算します。 (2) ${}_{19}C_{1}$ を計算します。 (3) ${}_{8}C_{8}$ を計算します。

組み合わせ二項係数計算
2025/8/3

束に関する以下の2つの問題を解きます。 1. 束の公理を用いて $a \vee a = a$ を示す。

半順序関係公理証明
2025/8/3

束に関する以下の2つの問題を解きます。 1. 束の公理を用いて $a \vee a = a$ を示す。

半順序関係公理冪等律反射律反対称律推移律
2025/8/2

問題155:1, 1, 2, 2, 3, 3という6つの数字を1列に並べる。 (1) 相異なる並べ方は全部で何通りあるか。 (2) 同じ数字が隣り合わない並べ方は何通りあるか。 問題156:正八角形が...

順列組み合わせ重複順列包除原理図形
2025/8/2

与えられた方程式 $x + y + z = 11$ に対して、以下の2つの条件における整数の解の組の数を求める問題です。 (1) $x \geq 0$, $y \geq 0$, $z \geq 0$ ...

重複組み合わせ整数解方程式
2025/8/2