化簡具有無關項的邏輯函數(shù)時，如果能合理利用這些無關項，一般都可得到更加簡單的化簡結果。
為達到此目的，加入的無關項應與函數(shù)式中盡可能多的最小項（包含原有的最小項和已寫入的無關項）具有邏輯相鄰性。合并最小項時，究竟把卡諾圖上的×作為1（即認為函數(shù)式中包含了這個最小項）還是作為0（即認為函數(shù)式中不包含這個最小項）對待，應以得到的相鄰最小項矩形組合最大、而且矩形組合數(shù)目最少為原則。
例1：化簡邏輯函數(shù)
，
給定其約束條件
解：如果不利用約束項，則y已無可化簡。但適當?shù)丶舆M一些約束項以后，可以得到
利用了約束項以后，使邏輯函數(shù)得以進一步化簡。但是代數(shù)法表示不夠直觀。從邏輯函數(shù)的卡諾圖上則表示得更清晰。
例2： 試化簡邏輯函數(shù)：
已知其約束條件為：
解：畫出函數(shù)y的卡諾圖，
于是得到 ：