令和4年度 高度共通 午前I(PM試験) 問1

分野:基礎理論|実際に出題されたIPA過去問題

A,B,C,D を論理変数とするとき,次のカルノー図と等価な論理式はどれか。ここで, ・は論理積,+は論理和,X̄はXの否定を表す。

問題の図表(IPA公式問題冊子より引用)
図表:IPA公式問題冊子より
  1.  A・B・C̄・D+B̄・D̄
  2.  Ā・B̄・C̄・D̄+B・D
  3.  A・B・D+B̄・D̄
  4.  Ā・B̄・D̄+B・D
解答・解説を見る

正解:エ

AI解説

カルノー図では、1が入っているマスを縦横に隣接する2のべき乗個(2,4,8個)のまとまりでできるだけ大きく囲み、囲み内で値が変化しない変数だけを残して積項を作り、それらの論理和をとる。本問の図では、1のマスは「BとDがともに1」の4マスのまとまりと、「A,B,Dがすべて0」のまとまり(Cは0/1両方を含むので消える)に分けられ、B・D+Ā・B̄・D̄となる。したがってエが正しい。 ア: A・B・C̄・Dは囲みを最大化せず不要な変数Cを残しており、B̄・D̄の項も図の1のマス(Aの範囲)と一致しないため等価でない。 イ: Ā・B̄・C̄・D̄は本来Cを消去して2マス以上で囲めるところを1マスのみで表しており、図の1のマスを過不足なく覆えないため等価でない。 ウ: A・B・Dの項はAを含んでしまっており、図でB・D=1の全マス(Aが0のマスも含む)を表せない。またB̄・D̄も図の1の範囲と一致しない。 エ: 正しい。B・Dの4マスの囲みと、Ā・B̄・D̄の囲み(Cが消える)の和で、図の1のマスを過不足なく表している。 💡 カルノー図は「囲みは大きいほど変数が減る」が原則。囲みの中で0と1の両方をとる変数は積項から消える、と機械的に処理すれば速い。

出典:令和4年度 秋期 プロジェクトマネージャ試験 午前I 問1 / 独立行政法人情報処理推進機構(IPA)
※Web掲載用に表記を一部変更しています。図表はIPA公式問題冊子から引用しています。著作権はIPAに帰属します。
📱 演習アプリで解く(無料・登録不要・904問収録)

「基礎理論」分野の攻略ポイント

2進数・論理演算・集合・確率統計・情報理論・AI/機械学習の理論・オートマトン・形式言語・計算量が範囲です。純粋な計算問題が多く、対策の有無がそのまま得点差になります。手を動かす練習が最も効く分野です。

基礎理論の攻略ポイントをすべて見る(要点6項目・ひっかけ3項目)→

同じ分野(基礎理論)の過去問