對(duì)于一個(gè)N變量函數(shù)，用一個(gè)小方塊代表一個(gè)最小項(xiàng)，把所有最小項(xiàng)即個(gè)小方塊排列起來(lái)，使之具有邏輯相鄰和幾何相鄰的一致性，所得圖形就是N變量卡諾圖。幾何相鄰是指位置相鄰；邏輯相鄰是指兩個(gè)最小項(xiàng)中只有一個(gè)因子不同?？ㄖZ圖是個(gè)封閉的面。如下為變量數(shù)2~4卡諾圖：
真值表與卡諾圖有一一對(duì)應(yīng)關(guān)系，只是位置順序不同，因此可以相互轉(zhuǎn)換?？ㄖZ圖可以表示邏輯函數(shù)，根據(jù)表達(dá)式中每項(xiàng)對(duì)應(yīng)的最小項(xiàng)填入1，而其余的為0即可。如F(A,B,C,D) = A+BC
+
，則卡諾圖如下
卡諾圖化簡(jiǎn)邏輯函數(shù)表達(dá)式：即根據(jù)任意相鄰兩項(xiàng)具有邏輯相鄰性，可以合并那個(gè)不同的因子。一般先取上下相鄰的-->左右相鄰的-->最上邊和最下邊也是相鄰的-->最左邊和最右邊也是相鄰的-->四個(gè)角也是相鄰的。兩個(gè)相鄰的項(xiàng)可以合并一個(gè)公因子，四個(gè)相鄰的項(xiàng)可以合并一個(gè)公因子，同理八個(gè)相鄰的可以合并三個(gè)公因子。
卡諾圖化簡(jiǎn)邏輯函數(shù)表達(dá)式具體步驟：根據(jù)要化簡(jiǎn)的邏輯函數(shù)表達(dá)式填寫(xiě)卡諾圖-->根據(jù)卡諾圖合并最小項(xiàng)(注：最小項(xiàng)合并時(shí)可以重復(fù)，而且每個(gè)最小項(xiàng)至少要被合并一次)-->讀圖寫(xiě)出最簡(jiǎn)式。
卡諾圖中合并取值為0的項(xiàng)可以得到反函數(shù)的最簡(jiǎn)表達(dá)式，而反函數(shù)取反即為原函數(shù)。
