2018年度 電験3種 上期 - 機械 - 問14 2018年度 機械 問14

回路の前段（A, B入力部分）は、\((\bar{A} \cdot B) + (A \cdot \bar{B})\) であり、これは \(A \oplus B\) (XOR) である。この出力を \(X\) とする。
回路の後段（X, C入力部分）は、\((X \cdot C) + (\bar{X} \cdot \bar{C})\) であり、これは \(X \odot C\) (XNOR) である。
したがって全体では、\(Z = (A \oplus B) \odot C\) となる。
これは「AとBが異なり、かつその結果とCが等しい」場合に1となる論理である。
また、式変形で \(Z = A \oplus B \oplus C\) の否定（奇数パリティの否定＝偶数パリティ？ いや、XNORは一致検出）
\(Z=1\) となる条件を確認する。
- \(A=0, B=0\) のとき \(X=0\)。\(C=0\)なら \(Z=1\)。 (0,0,0 -> 1)
- \(A=0, B=1\) のとき \(X=1\)。\(C=1\)なら \(Z=1\)。 (0,1,1 -> 1)
- \(A=1, B=0\) のとき \(X=1\)。\(C=1\)なら \(Z=1\)。 (1,0,1 -> 1)
- \(A=1, B=1\) のとき \(X=0\)。\(C=0\)なら \(Z=1\)。 (1,1,0 -> 1)
これに合致する真理値表は(1)である。
(1)の出力列: 1, 0, 0, 1, 0, 1, 1, 0


図の論理回路は、前段をXOR、後段をXNORとして読み取ると整理できます。中間出力 \(X=A\oplus B\) を置き、後段で \(X\) と \(C\) が一致する行だけ \(Z=1\) になると見れば、真理値表の選択肢を照合しやすくなります。