最大項與最小項的性質分析與研究

孫振川

（棗莊學院 機電工程學院，山東 棗莊 277160）

最大項與最小項的性質分析與研究

孫振川

（棗莊學院 機電工程學院，山東 棗莊 277160）

為了設計實際的數字電路，在分析了邏輯函數的兩種標準形式-最小項之和和最大項之積的性質的基礎上，運用反演定理和對偶定理對最大項和最小項的性質進行了分析和研究.通過理論推導可以看出，運用反演定理和對偶定理，可以從一種新的角度來理解最大項與最小項的性質，為更好地理解邏輯代數基礎，更好地設計數字電路提供了新的思路.

最大項；最小項；反演定理；對偶定理

1 引言

數字電路的設計需要設計者具有良好的邏輯代數基礎.只有兩種對立邏輯狀態的邏輯關系稱為二值邏輯.當兩個二進制數碼表示不同的邏輯狀態時，它們之間可以按照指定的某種因果關系進行推理運算.1849年英國數學家喬治·布爾首先提出了進行邏輯運算的數學方法—布爾代數，被廣泛應用于解決開關電路和數字邏輯電路的分析與設計中[1].

在邏輯代數基礎中，最大項和最小項是兩個基本又重要的概念.最大項之和與最小項之積是邏輯函數的兩種標準形式.反演定理和對偶定理作為邏輯代數的基本定理，在邏輯函數式的化簡中發揮著重要的作用.本文用一種獨特的角度，將反演定理與對偶定理兩個邏輯代數的基本定理和最大項與最小項兩個邏輯代數基礎中的重要概念聯系起來，運用兩個基本定理來分析和研究兩個重要概念.分析過程表明，運用反演定理和對偶定理，能夠從一種新的角度，更加深刻地理解最大項與最小項的性質，為更好地理解邏輯代數基礎，更好地設計數字電路提供了理論基礎.

2 反演定理和對偶定理

對于任意一個邏輯式Y，若將其中所有的“·”換成“＋”，“＋”換成“·”，0換成 1,1換成 0，原變量換成反變量，反變量換成原變量，則得到的結果就是Y'.這個規律稱為反演定理.

在使用反演定理時，需要注意以下兩個規則：

①仍需遵守“先括號、然后乘、最后加”的運算優先次序.

②不屬于單個變量上的反號應保留不變.

反演定理的一個重要應用就是對一個相對復雜的邏輯式求反.舉例如下：

若Y=（（AB'+C）'+D）'+C，根據反演定理，可直接得出Y'=（（（A'+B）C'）'D'）'C'.

若兩邏輯式相等，則它們的對偶式也相等，這個規律稱為對偶定理.

對偶式按照如下規則定義：對于任何一個邏輯式Y，若將其中所有的“·”換成“＋”，“＋”換成“·”，0換成 1,1換成0，則得到一個新的邏輯式YD，這個YD就稱為Y的對偶式.

對偶定理的一個重要應用就是通過證明兩個邏輯式的對偶式相等來證明兩個邏輯式相等.舉例如下：

若證明A+BC=（A+B）（A+C），因為A+BC的對偶式是A（B+C），（A+B）（A+C）的對偶式是 AB+AC，因為 A（B+C）=AB+AC，所以 A+BC=（A+B）（A+C）.

3 最小項及其性質[2]

在n變量邏輯函數中，若m為包含n個因子的乘積項，而且這n個變量均以原變量或反變量的形式在m中出現一次，則稱m為該組變量的最小項.A、B、C三個變量的最小項有 A'B'C'、A'B'C、A'BC'、A'BC、AB'C'、AB'C、ABC'、ABC共 8個.n變量的最小項應有2n個.輸入變量的每一組取值都使一個對應的最小項的值等于1.

最小項的性質如下：

（1）在輸入變量的任何取值下必有一個最小項，而且僅有一個最小項的值為1.

（2）全體最小項之和為1.

（3）任意兩個最小項的乘積為0.

（4）只有一個因子不同的兩個最小項之和可以合并成一項并消去一對因子.

4 最大項及其性質

在n變量邏輯函數中，若M為n個變量之和，而且這n個變量均以原變量或反變量的形式在M中出現一次，則稱M為該組變量的最大項.A、B、C三個變量的最大項有（A'+B'+C'）、（A'+B'+C）、（A'+B+C'）、（A'+B+C）、（A+B'+C'）、（A+B'+C）、（A+B+C'）、（A+B+C）共 8個.n變量的最大項應有 2n個.輸入變量的每一組取值都使一個對應的最大項的值等于0.

最大項的性質如下：

（1）在輸入變量的任何取值下必有一個最大項，而且僅有一個最大項的值為0.

（2）全體最大項之積為0.

（3）任意兩個最大項之和為1.

（4）只有一個變量不同的兩個最大項的乘積等于各相同變量之和.

華譯《史記》可讀性強，為了讓讀者以更簡單的方式閱讀文本，因此譯者沒有加入很多的腳注以及文后注釋，而是直接以簡單易懂的隨文注釋來幫助讀者閱讀。

5 反演定理與對偶定理在最大項和最小項的性質中的分析[3,4]

在三變量 A、B、C的最小項中，當A=1、B=0、C=1時，AB'C=1.在三變量 A、B、C的最大項中，當 A=1、B=0、C=1時，（A'+B+C'）=0.根據反演定理，令Y=AB'C=1，可以直接得出Y'=（A'+B+C'）=0，由此得出結論：對于三變量A、B、C的同一組取值，其最大項和最小項是互為相反的變量.

根據此結論，由最小項的性質（1）可以直接得出最大項的性質（1）

因為在n個變量求和時，只要有一個變量為1，則和一定為1，在n個變量求積時，只要有一個變量為0，則積一定為0，因此由最小項的性質（1）可以推出最小項的性質（2），即

A'B'C'+A'B'C+A'BC'+A'BC+AB'C'+AB'C+ABC'+ABC=1

由最大項的性質（1）可以推出最大項的性質（2），即

（A'+B'+C'）（A'+B'+C）（A'+B+C'）（A'+B+C）（A+B'+C'）（A+B'+C）（A+B+C'）（A+B+C）=0

下面的分析說明，用反演定理和對偶定理都可以由最小項的性質（2）得到最大項的性質（2）.

根據反演定理，Y=A'B'C'+A'B'C+A'BC'+A'BC+AB'C'+AB'C+ABC'+ABC，Y'=（A+B+C）（A+B+C'）（A+B'+C）（A+B'+C'）（A'+B+C）（A'+B+C'）（A'+B'+C）（A'+B'+C'），又因為 Y=1，得 Y'=0.

根據對偶定理，Y=A'B'C'+A'B'C+A'BC'+A'BC+AB'C'+AB'C+ABC'+ABC，YD=（A'+B'+C'）（A'+B'+C）（A'+B+C'）（A'+B+C）（A+B'+C'）（A+B'+C）（A+B+C'）（A+B+C），又因為 Y=1，得YD=1D=0.

由上述推導過程可以看出，YD、Y'都可以表示三個變量A、B、C的最大項之積的形式，且YD=Y'=0.

下面的分析說明，用反演定理和對偶定理都可以由最小項的性質（3）得到最大項的性質（3）.

任取三變量 A、B、C的兩個最小項 A'B'C'、A'B'C，令Y1=A'B'C'、Y2=A'B'C顯然 Y1Y2=（A'B'C'）（A'B'C）=0.

根據反演定理，（Y1Y2）'=（A+B+C）+（A+B+C'）=0'=1，由此得出結論，對于任取的三變量A、B、C的兩個最小項A'B'C'、A'B'C，由它們的積為0，可以得出三變量A、B、C的兩個最大項（A+B+C）、（A+B+C'）之和為 1.

根據對偶定理，（Y1Y2）D=（A'+B'+C'）+（A'+B'+C）=0D=1，由此得出結論，對于任取的三變量A、B、C的兩個最小項A'B'C'、A'B'C，由它們的積為0，可以得出三變量A、B、C的兩個最大項（A'+B'+C'）、（A'+B'+C）之和為 1.

下面的分析說明，用反演定理和對偶定理都可以由最小項的性質（4）得到最大項的性質（4）.

取三變量A、B、C的兩個最小項A'B'C'、A'B'C，顯然，A'B'C'和A'B'C只有一個因子不同，A'B'C'+A'B'C=A'B'（C+C'）=A'B'.

根據反演定理，（A'B'C'+A'B'C）'=（A+B+C）（A+B+C'）=（A'B'）'=A+B，

即（A+B+C）（A+B+C'）=A+B，最大項的性質（4）得證.

根據對偶定理，（A'B'C'+A'B'C）D=（A'+B'+C'）（A'+B'+C）=（A'B'）D=A'+B'

即（A'+B'+C'）（A'+B'+C）=A'+B'，最大項的性質（4）得證.

6 結論

本文在介紹了反演定理、對偶定理、最大項和最小項的性質的基礎上，運用反演定理和對偶定理對最大項和最小項的性質進行了推導.推導過程說明，運用反演定理和對偶定理，都能夠從最小項的性質出發得到最大項的性質，其性質中用到的最大項不同，但不改變性質的正確性.反演定理和對偶定理的應用為深入理解最大項和最小項的性質提供了新的視角和新的思路.

〔1〕閻石.數字電子技術基礎[M].北京：高等教育出版社，2005.27-28,35-37.

〔2〕康華光.電子技術基礎（數字部分）[M].北京:高等教育出版社,1988.11-26.

〔3〕毛法堯 1.數字邏輯（第 2版）[M].武漢:華中理工大學出版社,1992.21-32.

〔4〕方天申.邏輯函數及最小項與最大項運算規則研究[J].信陽師范學院學報（自然科學版），2001，（2）：170-171.

TN701

A

1673-260X（2011）12-0183-02