卡諾圖是化簡邏輯用的一種比較簡單的圖形方法 , 適用于 幾個變量的邏輯運算（少于 5 、 6 個）。
可用于邏輯化簡，邏輯極小化，使表達(dá)式中乘積項或和項 以及變量數(shù)目最小。
把邏輯函數(shù)的真值表相應(yīng)的填入一個特定形式的方格內(nèi)， 就得出邏輯函數(shù)的卡諾圖。
卡諾圖是一個由多個小方塊組成的方框。每個小方塊用于 一個最小項。當(dāng)從一個小方塊移到其相鄰的小方塊時，已 有一個變量被取非。
“ 相鄰 ” 包括每行，每列的兩端
f = a+b 真值表 f = a+b 的卡諾圖
二變量卡諾位置圖
填入最小項的二變量卡諾圖
二變量卡諾位圖
四變量卡諾位置圖
四變量卡諾圖
從三變量邏輯函數(shù) z=ac+ab/c 畫卡諾圖真值表填圖
先把 z 函數(shù)化為最小項表達(dá)式 – z = ac+ab/c = acb+/b) +ab/c = abc+a/bc+ab/c
由表達(dá)函數(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 ）
用卡諾圖簡化邏輯表達(dá)式
相鄰小方格所代表的最小項之和可合并為一 項，且可消除一個變量。 “ 相鄰 ” 包括每行， 每列的兩端。
簡化步驟：先將孤立為 1 的的小方格圈起 來，再將兩個相鄰為 1 的方格圈起來，然后 是 4 個， 8 個 ….2 n 個圈起來。
邏輯簡化的關(guān)鍵：適當(dāng)?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