カルノー図によるロジック簡略化のマスター

ブール代数でも論理式を迅速に簡略化できますが、実世界の問題ではより大きな真理値表を扱うことが多々あります。カルノー図は、複雑な論理関数を効率的に簡略化する視覚的で体系的なアプローチを提供します。

この記事では、主要な技法を説明するための人為的な例をいくつか紹介し、後の章で扱うより高度な組み合わせロジックシナリオへの準備をします。

カルノー図では慣例的なグレイコード配列を使用します：

上段ラベルに注目：00, 01, 11, 10。このグレイコード列は、隣接列（および行）間で1ビットのみが変化するため、1変数のみ異なるセルが隣接します。この隣接性が、共通因子を視覚的に発見することを可能にします。

カスタムKマップを作成する際、適切なグレイコード列を生成する必要があります。以下の図は任意サイズの生成方法を示します：

カルノー図によるロジック簡略化のマスター

各連続値が1ビットのみ異なるように列を構築することで、マップ全体で隣接性を保持します。

3変数Kマップを用いていくつかの関数を簡略化します。まず各積項に対応する1を配置し、隣接セルをグループ化して積和式を導出します。

カルノー図によるロジック簡略化のマスター

例えば、4つの積項をマッピングすると4セルグループが現れ、単一変数 A に簡略化されます：

カルノー図によるロジック簡略化のマスター

同様に、別の4項セットは単一変数 C に簡略化されます：

カルノー図によるロジック簡略化のマスター

6積項がある場合、しばしば4セルの2つの異なるグループになり、各グループが別の積項を生成し、A' + B のような簡略化式になります：

カルノー図によるロジック簡略化のマスター

別の例では、2セルグループが BC に簡略化されます：

カルノー図によるロジック簡略化のマスター

マップの端を折り返す（円筒として視覚化）と、4セルグループが現れ、単一変数 B に簡略化されます：

カルノー図によるロジック簡略化のマスター

すべての4セルが変数 C' を共有する場合、最終結果は単純に C' となります：

カルノー図によるロジック簡略化のマスター

6セルを2つの4セルグループにグループ化することで、簡潔な式 A' + C' を得ます。

ブール代数の章の有毒廃棄物焼却炉例を再訪します。元の式は4つの積項を含みます：

カルノー図によるロジック簡略化のマスター

4つの1をマッピングすると、2セルの3グループが得られ、各々が簡略化された積和式の積項に寄与します。対応するゲート図は以下の通り：

カルノー図によるロジック簡略化のマスター

比較のため、ブール代数による簡略化を繰り返します：

カルノー図によるロジック簡略化のマスター

そしてカルノー図解を並べて示します：

カルノー図によるロジック簡略化のマスター

Kマップアプローチが、長い代数式を操作するよりもはるかに直感的で時間節約になることが明らかです。

関連ワークシート：

産業技術