卡諾圖是化簡邏輯用的一種比較簡單的圖形方法 , 適用于 幾個變量的邏輯運算（少于 5 、 6 個）。

可用于邏輯化簡，邏輯極小化，使表達式中乘積項或和項 以及變量數(shù)目最小。

把邏輯函數(shù)的真值表相應(yīng)的填入一個特定形式的方格內(nèi)， 就得出邏輯函數(shù)的卡諾圖。

卡諾圖是一個由多個小方塊組成的方框。每個小方塊用于 一個最小項。當從一個小方塊移到其相鄰的小方塊時，已 有一個變量被取非。

“ 相鄰 ” 包括每行，每列的兩端

F = A+B 真值表 F = A+B 的卡諾圖

二變量卡諾位置圖

填入最小項的二變量卡諾圖

二變量卡諾位圖

四變量卡諾位置圖

四變量卡諾圖

從三變量邏輯函數(shù) Z=AC+AB/C 畫卡諾圖真值表填圖

先把 Z 函數(shù)化為最小項表達式 – Z = AC+AB/C = ACB+/B) +AB/C = ABC+A/BC+AB/C

由表達函數(shù)表示：

卡諾位置圖

卡諾圖

若是邏輯函數(shù)表示最小項的列表形式，則在相應(yīng)的方塊中填 1 ，其它填 0 。

若是邏輯函數(shù)表示最大項的列表形式，則應(yīng)在相應(yīng)的方塊中 填 0 ，其它填 1 。

無關(guān)變量用 X 表示，它可以為 1 ，也可為 0 ，取決于是否能將 邏輯簡化得更好形式。

如： F(A,B,C)=m(0,1,5,7)

或 F(A,B,C)=M(2,3,4,6 ）

用卡諾圖簡化邏輯表達式

相鄰小方格所代表的最小項之和可合并為一 項，且可消除一個變量。 “ 相鄰 ” 包括每行， 每列的兩端。

簡化步驟：先將孤立為 1 的的小方格圈起 來，再將兩個相鄰為 1 的方格圈起來，然后 是 4 個， 8 個 ….2 n 個圈起來。

邏輯簡化的關(guān)鍵：適當?shù)娜ο噜彽姆礁袢海?圈數(shù)應(yīng)畫的最少，而圈應(yīng)盡量的大。

如： l Y = /A/B/C/D+/A/B/CD+/A/BCD+/A/BC/D=/A/B – Y = /AB/C/D+/AB/D = /AB/C – Y = Y(8,9,10,11,12,13,14.15) = A