基本情報技術者 2018年 春期 午前(科目A) 問23
問題文
真理値表に示す3入力多数決回路はどれか。


選択肢
ア:(正解)
イ:
ウ:
エ:
🔒 解説は解答すると表示されます
3入力多数決回路【午前解説】
正解: ア
正解の理由
与えられた真理値表で Y=1 となる行は A,B,C のうち 2 個以上が 1 のとき(011,101,110,111)です。これを和論理和(SOP)で表すと各 2 ビットの積の和になります。すなわち
。
これは「A と B が両方 1 である」または「B と C が両方 1」または「A と C が両方 1」で出力が 1 になる回路です。
アの図は左側に 3 個の 2 入力 AND(A∧B、B∧C、A∧C)を配置し、その出力を OR でまとめているため、この式をそのまま実現しており真理値表に合致します。図に反転を示すバブルがない点も表と一致します。
アの図は左側に 3 個の 2 入力 AND(A∧B、B∧C、A∧C)を配置し、その出力を OR でまとめているため、この式をそのまま実現しており真理値表に合致します。図に反転を示すバブルがない点も表と一致します。
解法ステップ
- 真理値表から Y=1 の行を抜き出す(今回:011,101,110,111)。
- 各行を最小項(積)で表し SOP を作る: 。
- SOP を簡約して を得る(既に最小な形)。
- 各選択肢の回路図を見て、左側の基本ゲート(AND か OR か)とバブルの有無を確認する。
- 「左で AB, BC, AC を作り右で OR」という構成と一致する図を選ぶ(アが該当)。
選択肢別の誤答解説
- ア(正解): 左側が 2 入力 AND を 3 つ(A·B、B·C、A·C)作り、右側で OR により和を取っているため を実現し、真理値表と一致します。
- イ: 左側が OR 型のゲートで、ペアごとの OR を取ってからさらに OR している構成に見えます。 は結局 になり、単独の 1 のときも Y=1 になってしまうため真理値表と不一致です。
- ウ: 左側が OR 型、中間で AND を取り最終で反転(バブル)している構成です。左側が OR で組むと論理式が多数決とは別物になり、さらに最終反転により真理値が逆転する箇所が生じ、与えられた表には合いません。
- エ: 左側に入力近傍の小記号がある OR 型と、最後に反転バブルがある構成で、入力の否定や最終反転が入るため の非や別変形になり、与えられた真理値表と一致しません。
よくある誤解
- 「出力が 1 になるのは入力に 1 が一つでもあればよい」と誤認する:図の形だけで OR の単純合成(A+B+C)と混同すると 1 個の 1 のときも 1 になる回路を選んでしまいます。
- 図中の小さなマークやバブルを見落とす:入力側や出力側のバブル(反転)や小記号は論理の否定を意味し、回路の論理式を根本的に変えるため注意が必要です。
- ゲート形状だけを頼りに早合点する:見た目が似ていても入力マークや接続順序で機能が変わるため、真理値表と式で確かめる習慣を持つこと。
補足コラム
- 多数決回路(多数論理、majority function)は TMR(トリプルモジュラ冗長)などで使われ、フォルトトレラント設計で重要です。3入力多数決は最も基本的な例で、論理式は簡潔に となります。
- 実装の別形: のように因数分解して段数を変え、論理ゲートのタイプや遅延、面積を最適化することもできます。
- 図を読むコツ:ゲートの形状(平ら側が入力=AND、曲線が入力=OR)に加え、入力側/出力側の小丸(バブル)や小記号の有無を必ず確認してください。
FAQ
Q1: 真理値表から素早く多数決(2 以上で 1)を判断する方法は?
A1: まずどの組合せで Y=1 かを確認し、「1 の数が閾値(ここでは 2)以上」のパターンかを見れば即座に多数決であることに気づけます。真理値が対称であれば多数決の可能性が高いです。
A1: まずどの組合せで Y=1 かを確認し、「1 の数が閾値(ここでは 2)以上」のパターンかを見れば即座に多数決であることに気づけます。真理値が対称であれば多数決の可能性が高いです。
Q2: 図の小さい平行線や短い記号は何を示しますか?
A2: 図の表現ルールによりますが、入力近傍の小丸や記号はしばしば入力の否定(反転)や特別な端子を示します。凡例が無い場合はその図と他の入力/出力のバブル有無を比較して意味を推定してください。
A2: 図の表現ルールによりますが、入力近傍の小丸や記号はしばしば入力の否定(反転)や特別な端子を示します。凡例が無い場合はその図と他の入力/出力のバブル有無を比較して意味を推定してください。
Q3: は他の形に変形できますか?
A3: はい。例えば や布尔代数の恒等式を使って別実装に変えることができますが、論理関係(多数決)自体は変わりません。
A3: はい。例えば や布尔代数の恒等式を使って別実装に変えることができますが、論理関係(多数決)自体は変わりません。
関連キーワード: 多数決回路、真理値表、和論理和(SOP)、ブール式、最小項、論理合成、トリプルモジュラ冗長、ANDゲート、ORゲート、反転バブル、論理回路設計

\ せっかくなら /
基本情報技術者を
クイズ形式で学習しませんか?
クイズ画面へ遷移する→
すぐに利用可能!

