卡诺图
在邏輯代數中，卡諾圖（Karnaugh map）是真值表的變形，它可以將有 n 個變數的邏輯函式的
  
    
      
        
          2
          
            n
          
        
      
    
    {\displaystyle 2^{n}}
  個最小項組織在給定的長方形表格中，同時為相鄰最小項（相鄰與項）運用鄰接律化簡提供了直觀的圖形工具。但是，如果需要處理的邏輯函式的自變數較多（有五個或更多的時候，此時有些項就很難圈了），那麼卡諾圖的行列數將迅速增加，使圖形更加複雜。:189 卡諾圖是貝爾實驗室的電信工程師莫里斯・卡諾（Maurice Karnaugh）在 1953 年發明的。