1.未完全規(guī)定的邏輯函數(shù)
在許多實(shí)際問(wèn)題中，由于具體條件的限制，某些取值組合下的函數(shù)值，可任意取0或1。這些取值組合稱(chēng)為無(wú)關(guān)項(xiàng)或約束項(xiàng)。這類(lèi)函數(shù)稱(chēng)為未完全規(guī)定的邏輯函數(shù)或未完全描述的邏輯函數(shù)。
圖1（a） 四舍五入電路
上圖所示為四舍五入電路。該電路的輸入為采用8421bcd碼的1位十進(jìn)制數(shù)
當(dāng)（b3b2b1b0)8421bcd>(4)10時(shí)，z=1；否則，z=0。8421bcd碼中，1010-1111為非法，這6個(gè)取值組合是不會(huì)出現(xiàn)的，所以可以不為它們規(guī)定電路的輸出值。由此可以得到電路的真值表如表2及卡諾圖如下圖示：
表2 四舍五入電路真值表
圖2（b）真值表
由于1010這一取值組合是不會(huì)出現(xiàn)的，從而 b3b2b1b0=0， 同理
b3b2b1b0=0 b3b2b1b0=0 b3b2b1b0=0 b3b2b1b0=0 b3b2b1b0=0
進(jìn)而 b3b2b1b0+b3b2b1b0+b3b2b1b0+b3b2b1b0+b3b2b1b0+b3b2b1b0=0
即 b3b1+b3b2=0
上式規(guī)定了不可能出現(xiàn)的各種取值組合，稱(chēng)為四舍五入電路的約束條件或約束方程。
2.未完全規(guī)定的邏輯函數(shù)的化簡(jiǎn)
由于未完全規(guī)定的邏輯函數(shù)的某些取值組合的函數(shù)值可取0或1，從而為簡(jiǎn)化該函數(shù)提供了更多的可能性。
圖2（b）給出了充分利用這一特性的一種卡諾圈的畫(huà)法，它對(duì)應(yīng)了最簡(jiǎn)的積之和表達(dá)式
z(b3,b2,b1,b0)=b3+b2b1+b2b0
圖3所示為對(duì)應(yīng)的邏輯圖。
圖3 四舍五入電路的邏輯圖