A,B,C,Dを論理変数とするとき,次のカルノー図と等価な論理式はどれか。
ここで,・は論理積,+は論理和,X̅はXの否定を表す。
表/AB\CD|00|01|11|10/00|1|0|0|1/01|0|1|1|0/11|0|1|1|0/10|0|0|0|0
正答4
解説
正解は4です。
カルノー図で1になっているマスを、隣り合う2個や4個のまとまりにして論理式にする問題です。
まとまりの中で値が変わらない変数だけが、論理式に残ります。
【選択肢別解説】
1:× B̅・D̅はAB=10の行のCD=00と10も1にしますが、図ではその行はすべて0です。
2:× A̅・B̅・C̅・D̅はAB=00、CD=00の1マスだけを表し、AB=00、CD=10のマスが抜けます。
3:× A・B・DではAB=01の行のCD=01、11の1が表せず、B̅・D̅はAB=10の行の0のマスまで1にしてしまいます。
4:○ AB=00の行のCD=00と10は、Dが0で共通なのでA̅・B̅・D̅にまとまります。
AB=01と11の行のCD=01と11の4マスは、BとDがともに1なのでB・Dにまとまります。
【ポイント】
カルノー図の左右の端(CD=00と10)は隣り合っているとみなします。
1のマスを漏れなく、0のマスを含めずに囲めているかを、選択肢ごとに1マスずつ確かめると確実です。