教材：閻石《數字電子技術基礎》（第五版） 高等教育出版社

視頻教材：

2.7 具有無關項的邏輯函數及其化簡

2.7.1 約束項、任意項和邏輯函數式中的無關項

（1）對輸入變量取值所加的限制稱為約束，同時將這一組變量稱為具有約束的一組變量。

（2）通常用約束條件來描述約束的具體內容，把這些恒等于0的最小項稱為該函數的約束項。

（3）在輸入變量的某些取值下函數值是1還是0皆可，并不影響電路的功能。在這些變量取值下，其值等于1的那些最小項稱為任意項。

（4）把約束項和任意項統(tǒng)稱為邏輯函數中的無關項，這里”無關”只是否把這些最小項寫入邏輯函數式無關緊要，可以寫入或者刪除。

（5）無關項在卡諾圖中對應的位置上可以填1，也可以填0，通常用×來表示無關項。在化簡邏輯函數時既可以認為它是1，也可以認為它是0。

2.7.2 無關項在化簡邏輯函數中的應用

（1）化簡具有無關項的邏輯函數時，如果能合理利用無關項，一般都可得到更加簡單的化簡結果。

（2）合并最小項時，究竟把卡諾圖中的無關項看作為1還是0，應以得到的相鄰最小項矩形組合最大、而且矩形組合數目最少為原則。