平成23年度特別 システム監査技術者 午前Ⅰ 問8

入力から出力へ段階的に式を追う

組合せ回路の出力を整理するときは、いきなり最終形を考えず、各ゲートの出力を中間的な式として書き出しながら入力側から順に追うことが基本です。途中の式を記録すると、見落としや取り違えを防ぎやすくなります。

この問題で問われていること

この問題で確認すべき観点は、回路の各ゲートにどの信号が入っているかを正確に対応づけ、段ごとの出力を式として表すことです。否定の位置や信号の分岐・合流を丁寧に確かめ、得た式を問われている形と自分で照らし合わせてください。

視点

組合せ回路は、入力信号が複数のゲートを段階的に通って出力に至る構造です。各ゲートの出力に仮の名前を付けて一段ずつ式に置き換えると、全体を一度に考えるよりも整理しやすくなります。最後に中間の名前を元の入力の式で置き換えていけば、回路全体の出力を一つの式としてまとめられます。

確認ポイント

• 各ゲートの入力が、どの入力信号またはどの前段ゲートの出力から来ているかを一つずつ対応づけたか
• 否定が掛かっている位置と範囲を、途中の式の中で正しく書き表せているか
• 中間の式を元の入力の式で置き換えたあと、その結果を問われている形と自分で照らし合わせたか

正解

イ

解説

前段のNANDは入力を共通にしているのでNOTとして働き、X̅とY̅を出力します。後段のNANDの出力はZ=¬(X̅・Y̅)となり、ド・モルガンの法則からZ=X＋Yです。したがって正解はイです。

導出

NANDの両方の入力にXを入れると、出力は¬(X・X)=X̅です。つまりNOTとして働きます。同じように、下側の前段の出力はY̅です。後段のNANDの出力はZ=¬(X̅・Y̅)で、ド・モルガンの法則により¬X̅＋¬Y̅=X＋Yになります。

真理値表での確認

(X、Y)=(0、0)→Z=0、(0、1)→Z=1、(1、0)→Z=1、(1、1)→Z=1です。XとYのどちらかが1ならZが1になるので、論理和X＋Yと一致します。この真理値表を使えば、ほかの選択肢が合わないことも確かめられます。

比較

アは論理積(AND)、ウはNAND、エはNORの式です。回路の真理値表(0、1、1、1)と比べると、アは(0、0、0、1)、ウは(1、1、1、0)、エは(1、0、0、0)で、どれも一致しません。

選択肢ア

これは不正解だよ。X・YはXとYがどちらも1のときだけ1になる論理積です。回路では前段のNANDがX̅とY̅を出力し、後段のNANDの出力はZ=¬(X̅・Y̅)=X＋Yになります。たとえばX=1、Y=0のとき回路のZは1ですが、X・Yは0なので一致しません。

選択肢イ（正解）

これは正解だよ。入力を共通にしたNANDは¬(X・X)=X̅となり、NOTとして働きます。そのため前段はX̅とY̅を出力し、後段のNANDの出力はZ=¬(X̅・Y̅)です。ド・モルガンの法則によりZ=X＋Yになり、真理値表の(0,1,1,1)とも一致します。

選択肢ウ

これは不正解だよ。¬(X・Y)はNAND素子1個の出力の式です。この回路では前段で入力が否定されてから後段のNANDに入るので、Z=¬(X̅・Y̅)=X＋Yになります。X=Y=1のとき回路のZは1ですが、¬(X・Y)は0なので一致しません。

選択肢エ

これは不正解だよ。¬(X＋Y)はNORの式で、X=Y=0のときだけ1になります。回路の出力はZ=¬(X̅・Y̅)=X＋Yなので、真理値はNORとすべての組合せで逆になります。たとえばX=Y=0のとき回路のZは0ですが、¬(X＋Y)は1です。

学習のポイント

入力を共通にしたNANDがNOTになることと、ド・モルガンの法則を使った式変形を身につけます。