以自动化程式化简布林代数.pdfVIP

以自動化程式化簡布林代數 研究者：黃詩芸 指導者：鄭政牟教授、陳怡芬老師 摘要 本研究旨在利用 Quine-McCluskey 演算法自動化程式化簡布林代數，使布林代數 的項數減少，達到花費最短時間以及最小硬體空間的效益。Quine-McCluskey演算法在 功能上等同於卡諾圖，用於簡化布林代數，但是它具有文字表格的形式，因此更適合用 於電子設計自動化演算法的實現。 壹 、研究動機 布林代數在計算機科學中扮演著很大的角色。結合了集合運算和邏輯運算二者的根 本性質的一個代數結構，用來處理集合運算交集、並集、補集；和邏輯運算與、或、非 。 布林代數也可以在邏輯電路中表示為二進制數或電平，所以布林代數在電子工程和 計算機科學中有很多實踐應用。在設計數位系統時，若將所得之布林代數，依所設計數 位電路之實際狀況，進行適當的化簡工作，即可以降低布林代數之複雜度，減少實現數 位電路所需之邏輯閘數量與邏輯閘間連接線之複雜度，如此可進一步降低製作硬體電路 所需之成本，且減少運算時所需花費的時間。 因此本研究希望使用Quine-McCluskey演算法寫出一支程式，利用電子設計自動化 演算法化簡布林代數，達到最高的效益。 貳 、研究目的 本研究將對於布林代數化簡法進行了解及效能評估。使用Quine-McCluskey演算法 使布林代數運算式的次數降低，使用較少的邏輯運算來表達。使用者將輸入一組欲化簡 的極小項 (mintern) 和不關心項(dont care)及變數的量，經由此程式化簡得到最簡化之 布林代數式。 参 、研究過程或方法 一、布林代數: 布林代數又稱為布爾代數，是由George Boole 發明，最早於 1847 年出版的 一個小冊子《邏輯的數學分析》出現，後來又出現在 1854 年出版的更充實的書 《思維規律》中。 布林代數是一種邏輯思維上的判斷，如同我們生活中常常需要做出「是」或 501    「否」、「好」或「不好」、「要」或「不要」的邏輯判斷，在布林代數中我們可以 以1 跟0 來表示。 也因為布林代數只有兩種表示法: 「是」和「否」，因此常被使用於邏輯電路 之中。所以如果我們能將我們得到的電路圖，以布林代數表示，再藉由化簡程式 運算，得到簡化的布林代數式，將其運用回邏輯電路之中，是必能減少邏輯閘之 間的複雜度，進一步的減少所需成本以及所費之時間。布林代數最基本的運算邏 輯閘有以下三種: (一)AND 閘: 當A 、B 兩項皆成立此式才可成立。 可以以下邏輯閘表示: (二)OR 閘: 當A 、B 兩項其一成立此式即可成立。 可以以下邏輯閘表示: (三)NOT 閘: 就是反向閘，將輸入值轉換成另一值。 可以以下邏輯閘表示: 而布林代數的表示方式有三種，分別為符號表示法、極小項表示、值表示法， 表示方法如下表: 502     布林代數表示法 符號 AB’C’D’ A’B’C’D’ ABCD ABCD’ 值 1000 0000 1111 1110 極小項 8 0 15 14 二、布林代數式化簡法: 布林