現在、応用情報勉強中です。
カルノー図と等価な論理式を選ぶ問題が解けなかったので、解法を調べました。
解けなかった問題
A，B，C，Dを論理変数とするとき，次のカルノー図と等価な論理式はどれか。ここで，・は論理積，＋は論理和，￢XはXの否定を表す。
(1)A*B*￢C*D+￢B*￢D
(2)￢A*￢B*￢C*￢D+B*D
(3)A*B*D+￢B*￢D
(4)￢A*￢B*￢D+B*D
応用情報技術者 H26秋期 問1
解き方
カルノー図のグループ化
カルノー図を、以下のルールでグループ化します。
①横枠と縦枠の大きさは、２のべき乗にする
（例：1*2 , 2*4...)
②セルの値がすべて「１」である
③カルノー図の上下端、左右端は連続している
グループ化を行うと、下記図のようになります。
グループごとに論理積を作る
赤枠の論理積
（１）00 00 → ￢A￢B￢C￢D
（２）00 10 → ￢A￢BC￢D
論理積は、￢A*￢B*￢D
青枠の論理式
（１）01 01 → ￢ABCD
（２）01 11 → ￢ABCD
（３）11 01 → AB￢CD
（４）11 11 → ABCD
論理積は、B*D
作った論理積の論理和をとる
￢A*￢B*￢D + B*D
答え： エ
コメント