【かるのーず】
カルノー図 とは？
💡 論理式の「断捨離ツール」、ムダな項をグループ化で消す
📌 このページのポイント
- 真理値表を2次元のマス目（グレイコード順）に配置して視覚化する
- 隣り合う1のセルをまとめてグループ化し、共通の変数だけ残して簡単化する
- 2〜4変数の論理式の簡単化に適しており、デジタル回路設計でよく使われる
- ブール代数の公式を使わなくても、図を見るだけで最簡形が求められる
ひよこ カルノー図って何に使うの？
ペンギン先生 論理式をできるだけ短く簡単にするための図だよ。例えば「A AND B OR A AND NOT B」は実は「A」だけで済むんだけど、式が複雑になると見抜くのが難しい。カルノー図を使えば、マス目を塗りつぶしてグループ化するだけで最も簡潔な式が分かるんだ。
ひよこ どうやって使うの？具体的に教えて！
ペンギン先生 まず真理値表の結果をマス目に書き込む。2変数なら2×2、3変数なら2×4、4変数なら4×4のマス目になるよ。ポイントは行と列の並び順がグレイコード（00→01→11→10）になっていること。隣のマスは1ビットだけ違うから、隣り合う1をまとめやすいんだ。
ひよこ グループ化のルールはあるの？
ペンギン先生 あるよ。グループは1, 2, 4, 8…と2のべき乗の個数でまとめる必要がある。グループが大きいほど消せる変数が増えるから、できるだけ大きなグループを作るのがコツだよ。あと、マス目の端と端はつながっていて、左端と右端、上端と下端も「隣り合っている」として扱うんだ。
ひよこ デジタル回路の設計で使われてるの？
ペンギン先生 そうだよ。論理回路はANDゲートやORゲートの組み合わせで作るけど、ゲート数が少ないほどチップ面積も消費電力も小さくなる。カルノー図で論理式を簡単化すれば、必要なゲート数を最小限にできるんだ。
ひよこ 5変数以上には使えないの？
ペンギン先生 理論上は5変数（2枚の4×4を重ねる）まで可能だけど、それ以上は図が複雑すぎて人間には厳しいね。5変数以上の場合はクワイン・マクラスキー法というアルゴリズムを使ってコンピュータに解かせるのが一般的だよ。カルノー図は「人間が手作業で効率よく簡単化する」ためのツールなんだ。
まとめ：ざっくりこれだけ覚えればOK！
「カルノー図」って出てきたら「論理式を図で見て簡単にする方法」と思えればだいたいOK！
📖 おまけ：英語の意味
「Karnaugh Map」 ＝ カルノーの図（地図）
💬 1953年にベル研究所のモーリス・カルノーが考案したんだよ。K-map（ケーマップ）という略称でも呼ばれるよ