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

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

把邏輯函數的真值表相應的填入一個特定形式的方格內， 就得出邏輯函數的卡諾圖。

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

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

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

二變量卡諾位置圖

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

二變量卡諾位圖

四變量卡諾位置圖

四變量卡諾圖

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

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

由表達函數表示：

卡諾位置圖

卡諾圖

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

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

無關變量用 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 個圈起來。

邏輯簡化的關鍵：適當的圈相鄰的方格群， 圈數應畫的最少，而圈應盡量的大。

如： 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