會員中心
會員注冊一般我們都是采用公式法或者卡諾圖的方法。不過用程序自動化來實現，這兩種方法都不合適。在計算邏輯代數里面有個叫做Quine-McCluskey（奎因-麥克拉斯基）算法的，用于化簡邏輯公式的，并且它還給出了檢查布爾函數是否達到了最小化形式的確定性方法。不過這個算法是NP-完全的，因此運行時間隨輸入變量個數呈指數增長。比如邏輯變量個數有幾十個的時候，這時候找到最簡表達式已經是不太可能，只能通過啟發式算法（Espresso算法）來尋求次優解。
根據輸入端的變化，寫出輸出端的狀態，真值表就出來了。相反，從輸出端倒推回輸出端，就是邏輯表達式
第一種方法：以真值表內輸出端“1”為準
第一步：從真值表內找輸出端為“1”的各行，把每行的輸入變量寫成乘積形式;遇到“0”的輸入變量上加非號。 第二步：把各乘積項相加，即得邏輯函數的表達式。
第二種方法：以真值表內輸出端“0”為準
第一步：從真值表內找輸出端為“0”的各行，把每行的輸入變量寫成求和的形式，遇到“1”的輸入變量上加非號。
第二步：把各求和項相乘，即得邏輯函數表達式。
最后化簡，在實際運用過程中，哪個方法簡便就采用哪種。
將真值表中函數值等于1的變量組合選出來；對于每一個組合，凡取值為1的變量寫成原變量，取值為0的變量寫成反變量，各變量相乘后得到一個乘積項；最后，把各個組合對應的乘積項相加，就得到了相應的邏輯表達式。 例1120 試根據表Z1112，寫出相應的邏輯表達式。
從表中看到，當A＝0、B＝1時，Y＝1；當A＝1、B＝0時Y＝1。因此可寫出相應的邏輯表達式為：
Y＝B＋A
真值表還可用來證明一些定理。
例1121 試用真值表證明摩根定理=+
證：設上式左邊 ＝Y1，右邊＝Y2，分別列出相應的真值表如表Z1113所示：
比較Y1和Y2，證得=+。
例1122 試用真值表證明A＋AB=A。
證：令A＋AB＝Y1，A=Y2，列出真值表如Z1114所示。
比較Y1和Y2，證得A＋AB=A。
返回頂部
刷新頁面
下到頁底