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ゲートの接続関係の記述をもって解答とします。

「離散数学」の関連問題

集合 $A = \{1, 2\}$、$B = \{3\}$、$C = \{4, 5\}$ に対して、次の集合を求め、その濃度を求めよ。 (1) $B \times A$ (2) $A \times B...

集合直積濃度
2025/6/8

長さ6の順列 $A = (4, 2, 5, 3, 6, 1)$ が与えられています。 (1) 順列 $A$ の転倒数を求めます。 (2) 順列 $A$ の符号を求めます。

順列転倒数符号組み合わせ
2025/6/8

SUCCESSの7文字について、以下の問題を解く。 (1) 7文字全てを並べる並べ方は何通りあるか。 (2) U, Eがこの順になる並べ方は何通りあるか。

順列組み合わせ場合の数同じものを含む順列
2025/6/8

男子4人、女子3人の合計7人が、以下の条件で並ぶ並び方は何通りあるか。 (1) 無条件に1列に並ぶ (2) 円形に並ぶ (3) 男子が両端にくるように1列に並ぶ (4) 女子3人が隣り合うように1列に...

順列組合せ場合の数円順列階乗
2025/6/8

集合 $X = \{1, 2\}$ と $Y = \{2, 3\}$ が与えられたとき、以下の集合を求める問題です。 (1) $X \cap Y$ (2) $X \cup Y$ (3) $X \set...

集合集合演算共通部分和集合差集合直積
2025/6/8

与えられた6つの集合の要素を、重複なくすべて答える問題です。ただし、$\mathbb{Z}_{\ge 0}$ は非負の整数全体の集合を意味します。

集合集合の要素整数集合演算
2025/6/8

(1) aが4個、bが2個、cが2個の合計8個の文字を1列に並べる場合の数を求めます。 (2) SWEETSという6文字の文字列を1列に並べる場合の数を求めます。

順列組み合わせ同じものを含む順列場合の数
2025/6/8

問題3: (5) 12人の生徒を4人ずつA, B, Cの3組に組分けする方法の総数を求める。 (6) 10人の生徒を4人、3人、3人の3組に組分けする方法の総数を求める。 (7) 7人の生徒を2組に組...

組み合わせ順列場合の数重複順列
2025/6/8

7段の階段を1回に1段または2段ずつ上る方法は何通りあるか。また、図のような碁盤目状の街路において、指定された区間を通らずにPからQへ行く最短経路は何通りあるか、という問題です。

漸化式組み合わせ最短経路場合の数格子点
2025/6/8

図のような道のある町で、PからQまで遠回りをせずに進む場合の道順の総数を求める問題です。 (1) Rを通って行く場合 (2) ×印の箇所を通らないで行く場合 (3) Rを通り、×印の箇所を通らないで行...

場合の数最短経路組み合わせ
2025/6/8