2.4.4具有約束的邏輯函式的化簡
1.產生原因：在實際的邏輯命題中，常常會由於外部條件的限制，輸入變數的某些取值組合根本就不會出現，即有些輸入變數的組合所對應的函式值既不是邏輯1也不是邏輯0.
例如：a、b、c中有的某些取值組合按實際規定不會出現，這說明a、b、c之間有一定的制約關係，因此稱這三個變數時一組由約束的變數。
具有約束的邏輯函式：由有約束的變數所決定的邏輯函式。
約束項：不會出現的變數的取值組合所對應的最小項。
約束條件：由約束項加起來所構成的值為0的邏輯表示式。因為約束項的值恆等於0，所以約束條件是乙個等於0的條件等式。
約束項是不會出現的，其對應的函式值既不是邏輯1也不是邏輯0，在真值表和卡諾圖中通常採用「×」表示約束項。
具有約束的邏輯函式的化簡：
①在代數化簡法中，可以根據化簡的需要加上或去掉約束項。由於約束條件的值總是0，在邏輯表示式中，加上和去掉0，函式是不會受影響的。
②在利用卡諾圖化簡具有約束的邏輯函式時，可根據化簡的需要包含或去掉約束項。因為合併最小項時，如果圈中包含了約束，則相當於在相應的乘機項中加上該約束項（將約束項視為和圈中的其他邏輯值相同），因其值恒為0，顯然函式不會受影響。
在一組變數中，如果只要有乙個變數取值為1（或0），則其他變數的取值一定是0（或1），有這種約束的變數，稱為互相排斥的變數。
可見，在具有變數相互排斥的邏輯函式中，只有乙個變數的取值是與眾不同，如有乙個變數的取值為1，則其他變數的取值都為0，通常說該函式的變數取值為1有效。
對於變數互相排斥的邏輯函式，真值表常採用簡化形式。即用取值為邏輯1那個變數的符號來表示其中一組變數的取值組合和邏輯函式的關係，而邏輯表示式則是有關變數之和。
數字電子技術 複習筆記
數字電子技術 緒論 數字量和模擬量 數字量 該物理量的變化在時間上和數量上都是不連續的。首先它們隨時間的變化不是連續發生的，總是發生在一些離散的瞬間 其次，每次變化時數量大小的改變都是某個最小數量單位的整數倍，而小於這個最小數量單位的數值沒有任何物理意義。我們把這一類物理量叫做數字量，同時把表示數字...
數字電子技術基礎（五） 編碼器
編碼器 在數字系統中，為了區分一系列不同的事物，將其中的每個事物用乙個二值碼來表示。編碼盡量要求 將多個輸入的狀態用最少資源來表示。在嵌入式中，編碼器的乙個功能是節約io口，可以用很少的io來讀取更多的輸入狀態。編碼器大致有兩種分類，一種是普通編碼器，一種是優先編碼器。在普通編碼器中，任何時刻只允許...
數字電子技術基礎（七） 加法器
兩個二進位制數之間的算術運算，無論是加減乘除，目前在數字計算機 數字系統 中都是化作若干次加法運算進行的。因此，加法器是構成算術運算器的基本單元。如果不考慮有來自低位的進製輸入，將兩個一位二進位制相加，稱為半加。實現半加的電路為半加器。半加器的真值表 a b為輸入，s為a b相加的和，co為進製輸出...