主要原項( essential prime implicant ) 的偵測在邏輯簡化的過程中極為重要。因
為無論布林函數如何被簡化，他們必定存在於簡化後的涵數中；如果能及早產生這些
主要原項，則可很快達到簡化的目的並接近最佳解( near optimal solution ) 。
在本論文中，我們提出一套母須產生布林函數原項集合( prime cover ) 便能測得所
有主要原項的快速演算法。此外，為了證明在偵測多值輸入( multiplevalued input
s ) 之布林函數的主要原項過程中所需的若且唯若修件，我們引進了非對稱整合運算
( acons ，asynmetric consensus operation )。同時，我們也為布林函數的單調性
( unateness ) 下了更廣泛的定義，使得恒真檢查演算法( tautology checking alg
orithm )可以更快的速度傳回答案，而這答案對主要原項的判定非常重要。
我們已在VAX １１／７８０VMS 系統上以C 語言發展一套邏輯簡化系統，實驗數據顯
示我們所提的演算法平均可提高２０℅的速度。
|