离散数学 08.05 布尔代数01

$\color{blue}{\S 8.5 布尔代数}$

$\color{blue}{8.5.1 布尔代数的定义及其性质}$

$定义8.5.1.一个有余分配格是一个布尔代数。$
$因为布尔代数是一个格，今后将布尔代数中的运算\times简记为\cdot,称为乘法。\\ 运算\oplus简记为+,称为加法。$
$因为布尔代数是有界格，将最大元素记为1，最小元素记为0.因为布尔代数是有余\\ 分配格，所以，对布尔代数中任意元素a,有唯一的余元素a^{\prime},因此，这是布尔代数\\ 上的一个一元代数运算，称为余运算，今后，将布尔代数中的余运算记为{^-}，例如\\ 元素a的余元素记为 \bar a，一个布尔代数可记为(B, \cdot, +, ^-, 0, 1)。今后，有时将a \cdot b\\ 简记为ab。$

$下面给出布尔代数的一些重要性质，这些性质并不是相互独立的。$
$设(B, \cdot, +, ^-, 0, 1)是一个布尔代数，a, b, c是集合B中任意元素，\\ 于是，它有如下性质: \\ (一)因为(B, \cdot, +)是一个格，所以有:$
$\left. \begin{array}{l l}1) a \cdot a = a, & 1^{\prime}) a + a = a. \\ 2) a \cdot b = b \cdot a, & 2^{\prime}) a + b = b + a. \\ 3) (a \cdot b) \cdot c = a \cdot (b \cdot c), & 3^{\prime})(a + b) + c = a + (b + c), \\ 4) a \cdot ( a + b ) = a & 4^{\prime}) a + (a \cdot b) = a. \end{array} \right.$
$(二)因为(B, \cdot, +)是分配格，所以有$
$5) a \cdot (a + c) = (a \cdot b) + ( a \cdot c), \\ 5^{\prime}) a + (b \cdot c) = (a + b) \cdot (a + c). \\ 6) (a \cdot b) + (a \cdot c) + (b \cdot c) = (a + b) \cdot (a + c) \cdot (b + c) \\ 7) 若a \cdot b = a \cdot c, a + b = a + c, 则 b = c.$
$(三)因为(B, \cdot, +, 0, 1)是有界格,所以有$
$8) 0 \leq a \leq 1. \\ 9) a \cdot 0 = 0, \qquad 9^{\prime}) a + 1 = 1. \\ 10) a \cdot 1 = a, \quad 10^{\prime}) a + 0 = a.$
$(四)因为(B, \cdot, +, ^-, 0, 1)是有余分配格，所以有$
$11) a \cdot \bar a = 0, 11^{\prime}) a + \bar a = 1. \\ 12) \bar 0 = 1, 12^{\prime}) \bar 1 = 0. \\ 13) (\overline {a \cdot b}) = \overline a + \overline b, \\ 13^{\prime}) (\overline {a + b}) = \overline a \cdot \overline b,$
$(五)因为(B, \leq)是半序格，所以有$
$14) a \cdot b = \inf \lbrace a, b \rbrace, \\ 14^{\prime}) a + b = \sup \lbrace a, b \rbrace. \\ 15) a \leq b \iff a + b = b \iff a \cdot b = a. \\ 16) a \leq b \iff a \cdot \bar b = 0 \iff \bar b \leq \bar a \iff \bar a + b = 1.$

$定理8.5.1.设B是一个至少含有两个不同元素的集合, \cdot, +是定义在B上的两种代数\\ 运算，如果对任意a, b, c \in B,满足下面公理: \\ H_1:a \cdot b = b \cdot a, a + b = b + a. \\ H_2:a \cdot (b + c) = (a \cdot b) + (a \cdot c). \\ H_3:B中有元素0和元素1，使得对任意a \in B, 有a \cdot 1 = a, a + 0 = a. \\ H_4:对任意a \in B, 有\bar a \in B, 使得 a \cdot \bar a = 0, a + \bar a = 1. \\ 则(B, \cdot, +, ^-, 0, 1)是一个布尔代数。$
$证明：由布尔代数定义知，只需证明(B, \cdot, +)是格，并且0，1是此格的最小，\\ 最大元素即可。于是，根据H_4,它就是一个有余格，在根据H_2,它又是一个\\ 分配格，故它是布尔代数。\\ 下面证明(B, \cdot, +)是一个格。\\ 首先，由于公理H_1 \sim H_4是对偶的，所以如果从H_1 \sim H_4出发推导结论c，\\ 则c的对偶式c^{\ast}也可以由H_1 \sim H_4推导出来，亦即对偶原理在代数(B, \cdot, +)\\ 中成立。\\ 其次，对任意a \in B,由\\ a + 1 = (a + 1) \cdot 1 (由H_3) \\ = 1 \cdot (a + 1) (由H_1) \\ = (a + \bar a) \cdot (a + 1) (由H_4) \\ = a + (\bar a \cdot 1) (由H_2) \\ = a + \bar a (由H_3) \\ = 1 (由H_4) \\ 再次， 若a + b = a + c, \bar a + b = \bar a + c, 则 b = c. \\ (a + b) \cdot (\bar a + b) = b + (a \cdot \bar a) (由H_2) \\ = b + 0 (由H_4) \\ = b (由H_3) \\ (a + c) \cdot (\bar a + c) = c + (a \cdot \bar a) (由H_2) \\ = c + 0 (由H_4) \\ = c (由H_3) \\ 故 b = c.$
$1.由H_1知，此代数满足交换律。\\ 2.因为a + (a \cdot b) = (a \cdot 1) + (a \cdot b) (由H_3) \\ = a \cdot (1 + b) (由H_2) \\ = a \cdot 1 (由上面的证明) \\ = a (由H_3) \\ 所以，此代数满足吸收律。\\ 3.令L = a \cdot (b \cdot c), M = (a \cdot b) \cdot c \\ 于是 a + L = a + (a \cdot (b \cdot c)) = a (由吸收律) \\ a + M = a + ((a \cdot b) \cdot c) \\ = (a + a \cdot b) \cdot (a + c) (由H_2) \\ = a \cdot (a + c) (由吸收律) \\ = a (由吸收律) \\ 所以， a + L = a + M. \\ \bar a + L = \bar a + (a \cdot (b \cdot c)) \\ = (\bar a + a) \cdot (\bar a + (b \cdot c)) (由H_2) \\ = 1 \cdot (\bar a + (b \cdot c)) (由H_4) \\ = \bar a + (b \cdot c) (由H_3) \\ \bar a + M = \bar a + ((a \cdot b) \cdot c) \\ = (\bar a + a \cdot b) \cdot (\bar a + c) (由H_2) \\ = ((\bar a + a) \cdot (\bar a + b)) \cdot (\bar a + c) (由H_2) \\ = (1 \cdot (\bar a + b)) \cdot (\bar a + c) (由H_4) \\ =(\bar a + b) \cdot (\bar a + c) (由H_3) \\ = \bar a + (b \cdot c) (由H_2) \\ 所以， \bar a + L = \bar a + M. \\ 故 L = M.即此代数满需结合律。\\ 由格的定义知，代数(B, \cdot, +)是一个格。\\ 现在，我们定义B上的部分序关系 \leq 如下: a \leq b \iff a \cdot b = a \\ 于是，由本章 \S 8.2 的定理8.2.1知，(B, \leq)是格，并且 a \leq b \iff a + b = b \\ 由H_3知，对任意a \in B, 有 a \cdot 1 = a, a + 0 = a \\ 故，0 \leq a \leq 1.即0,1分别是B的最小，最大元素，\\ 因此(B, \cdot, +, ^-, 0, 1)是布尔代数。$

$例8.5.1.设B = \lbrace 0, 1 \rbrace, B上的运算+, \cdot, ^-如下：$
$\left. \begin{array}{|l | l l |} \hline \cdot & 0 & 1 \\ \hline 0 & 0 & 0 \\ \hline 1 & 0 & 1 \\ \hline \end{array} \right.$$\quad$$\left. \begin{array}{|l | l l |} \hline + & 0 & 1 \\ \hline 0 & 0 & 1 \\ \hline 1 & 1 & 1 \\ \hline \end{array} \right.$ $\quad$ $\left. \begin{array}{|l | l l |} \hline x & \bar x \\ \hline 0 & 1 \\ \hline 1 & 0 \\ \hline \end{array} \right.$
$不难证明(B, \cdot, +, ^-, 0, 1)是布尔代数，这是最简单的一个布尔代数，\\ 习惯上也称为电路代数。$

$例8.5.2.设S是一个非空集合，\rho(S)是S的幂集合。不难证明:(\rho(S), \cap, \cup, ^{-}, \phi, S)\\ 是一个布尔代数。其中：A \cap B表示A,B的交集；A \cup B表示A,B的并集，^{-}表示A\\ 的余集。此代数也称为集合代数。$
$例8.5.3.设S是命题公式的集合，不难证明(S, \land, \lor, \lnot, F, T)是一个布尔代数，\\ 也称为命题代数。$
$例8.5.4.设B_n是由0，1做分量的所有n元向量集合。对任意a,b \in B_n, \\ 令a = (a_1, \cdots, a_n), b = (b_1, \cdots, b_n),定义B_n上的运算如下:\\ a \cdot b = (a_1 \cdot b_1, a_2 \cdot b_2, \cdot, a_n \cdot b_n) \\ a + b = (a_1 + b_1, a_2 + b_2, \cdots, a_n + b_n) \\ \bar a = (\bar a_1, \bar a_2, \cdots, \bar a_n) \\ 不难证明：(B_n, \cdot, +, ^{-}, 0_n, 1_n)是一个布尔代数，其中0_n表示n个0做成的n元向量，\\ 1_n表示n个1做成的n元向量。此代数也称为开关代数。$

$如不特别指出，我们提到的布尔代数都是有限布尔代数。$

$定义8.5.2.任给一个布尔代数(B, \cdot, +, ^-, 0, 1).若B的一个子集S包含0，1，\\ 且(S, \cdot, +, ^-, 0, 1)仍是一个布尔代数，则称S为B的子代数。$

$例8.5.5.设S = \lbrace a, b, c \rbrace, 则(\rho(S), \cap, \cup, ^-, \phi, S)是一个布尔代数。\\ 若设S_1 = \lbrace \phi, \lbrace a \rbrace, \lbrace b, c \rbrace, \lbrace a, b, c \rbrace \rbrace, \\ 则(S_1, \cap, \cup, ^-, \phi, S)是(\rho(S), \cap, \cup, ^-, \phi, S)的子代数。\\ 若设S_2= \lbrace \phi, \lbrace a \rbrace, \lbrace b \rbrace, \lbrace a, b \rbrace, \lbrace a, b, c \rbrace \rbrace, 则S_2在\cap, \cup下是\rho(S)的子格，\\ 但(S_2, \cap, \cup, ^-, \phi, S)不是布尔代数，因此不是(\rho(S), \cap, \cup, ^-, \phi, S)的子代数。\\ 显然,\lbrace a \rbrace, \lbrace b \rbrace, \lbrace a, b \rbrace在S_2中没有余元素。\\ 若设S_3 = \lbrace \phi, \lbrace a \rbrace \rbrace, 则(S_3, \cap, \cup, ^-, \phi, \lbrace a \rbrace) 是布尔代数，\\ 但不是(\rho(S), \cap, \cup, ^-, \phi, S)的子代数，因为S_3不含\rho(S)中的最大元素S。$

$定理8.5.2.设(B, \cdot, +, ^-, 0, 1)是布尔代数。于是，B的子集S是B的子代数的\\ 充要条件是S在运算\cdot, +, ^-下是封闭的。$
$证明：必要性。若S是B的子代数，则显然S在\cdot, +, ^-之下是封闭的。\\ 充分性。若S在\cdot, +, ^-下封闭，则任取a \in S,于是有\\ \bar a \in S, a + \bar a = 1 \in S, a \cdot \bar a = 0 \in S, \\ 即S包含0，1.又因S在运算\cdot, +, ^-之下封闭，S中元素也是B中元素，\\ 而B是布尔代数，故S中元素对于运算\cdot, +, ^-满足公理H_1 \sim H_4,\\ 所以(S, \cdot, +, ^-, 0, 1)是布尔代数，由定义，S是B的子代数。$
是布尔代数A的基底。$

$定理8.5.5.设A是由互相独立的元素\lbrace A_1, \cdots, A_n \rbrace生成的布尔代数，\\ 于是A中所有极小项元素就是关于A_1, \cdots, A_n的所有极小项。$

$\color{blue}{8.5.2 有限布尔代数的表示理论}$

$定义8.5.3.设(B, \cdot, +, ^-, 0, 1)是布尔代数，e_1, \cdots, e_n是B中有如下性质\\ 的一组元素，对任意a \in B,都可唯一地表示为\\ a = \alpha_1 e_1 + \alpha_2 e_2 + \cdots + \alpha_n e_n \\ 其中\alpha_i或为0，或为1，(i = 1, \cdots, n)。则称e_1, \cdots, e_n为布尔代数B的\\ 一组基底，并称此布尔代数为n维的。$
$由该定义可得如下结论：$
$结论8.5.2.设e_1, \cdots, e_n为布尔代数B的一组基底，则对于\forall i \in \lbrace 1, \cdots, n\rbrace, e_i \neq 0.$
$证明：用反证法。若有e_i = 0, \\ 则一方面, e_i = 0 e_1 + 0 e_2 + \cdots + 0e_i + \cdots + 0e_n, \\ 令一方面, e_i = 0e_1 + 0 e_2 + \cdots + 1e_i + \cdots + 0e_n, \\ 而e_i \in B,且表示方法不唯一。这于定义中任意a \in B,都可唯一地表示为:\\ a = \alpha_1 e_1 + \alpha_2 e_2 + \cdots + \alpha_n e_n矛盾。\\ 因此，e_i \neq 0, i = 1, \cdots, n。$

$结论8.5.2.设e_1, \cdots, e_n为布尔代数B的一组基底，则对于\forall i,j \in \lbrace 1, \cdots, n \rbrace,\\ 如果i \neq j,那么 e_i \neq e_j.$
$证明：用反证法。若存在i \neq j,而e_i = e_j, 不妨设i < j,则有\\ e_i = 0 e_1 + 0 e_2 + \cdots + 1 e_i + \cdots + 0e_j + \cdots + 0e_n, \\ e_i = e_j = 0 e_1 + 0 e_2 + \cdots + 0 e_i + \cdots + 1e_j + \cdots + 0e_n, \\ 显然与e_i表示方法唯一矛盾。$

$例8.5.6.设S_{30}是30的所有正因数做成的集合。对任意a, b \in S_{30},规定运算 a + b\\ 为a、b的最小公倍数，a \cdot b 为a、b的最大公约数。则(S_{30}, \cdot, +, ^-, 1, 30)是布尔代\\ 数，1是其最小元素，30是其最大元素。该布尔代数的基底为2，3，5：\\ 1 = 1 \cdot 2 + 1 \cdot 3 + 1 \cdot 5, \qquad 2 = 30 \cdot 2 + 1 \cdot 3 + 1 \cdot 5, \\ 3 = 1 \cdot 2 + 30 \cdot 3 + 1 \cdot 5, \quad \ \ 5 = 1 \cdot 2 + 1 \cdot 3 + 30 \cdot 5, \\ 6 = 30 \cdot 2 + 30 \cdot 3 + 1 \cdot 5, \quad 10 = 30 \cdot 2 + 1 \cdot 3 + 30 \cdot 5, \\ 15 = 1 \cdot 2 + 30 \cdot 3 + 30 \cdot 5, \ \ 30 = 30 \cdot 2 + 30 \cdot 3 + 30 \cdot 5.$

$定义8.5.4.设(B, \cdot, +, ^-, 0, 1)是布尔代数。若B中非零元素a有性质：对任意 x \in B, \\ a \cdot x 或者为0，或者为a,则称a为布尔代数的极小元素。$
$可以验证例8.5.6中2，3，5都是极小元素。$
$结论8.5.3.若a,b为布尔代数中两个不同的极小元素，则有a \cdot b = 0。$
$证明：用反证法。\\ 若a, b为布尔代数中的两个不同的极小元素，而a \cdot b \neq 0,\\ 则一方面a为极小元素知，a \cdot b = a;\\ 另一方面，由b为极小元素知， a \cdot b = b.\\ 于是，a = b,与 a \neq b矛盾。$

$引理1：设B是布尔代数，a是B中任意非零元素。若a不是极小元素，\\ 则存在极小元素b，使 b < a.$
$证明：因为a不是极小元素，所以有非零元素x_0,使得a \cdot x_0 \neq 0, 且 a \cdot x_0 \neq a。\\ 令 a \cdot x_0 = a_1, 显然，a_1 < a。\\ 若a_1仍不是极小元素，则有非零元素x_1,使得a_1x_1 \neq 0,且a_1x_1 \neq a_1。\\ 令a_1 x_1 = a_2,显然，a_2 < a_1。\\ 重复上述过程，由于B中元素有限，故最后可找到极小元素a_n,使得\\ a_n < a_{n-1} < \cdots < a_2 < a_1 < a$

$定理8.5.3.有限布尔代数的基底必是此代数的所有极小元素；反之，此代数的\\ 所有极小元素必然做此代数的基底。$
$证明： (1)设e_1, \cdots, e_n是B的基底。\\ 若e_i不是极小元素，则在B中可找到元素a,使得 ae_i = b \neq 0, 且b \neq e_i。\\ 显然，b \leq e_i. \\ 令b = \alpha_1 e_1 + \cdots + \alpha_i e_i + \cdots + \alpha_n e_n.取c = \bar b e_i,\\ 因为be_i = b,所以， b+c = be_i + \bar b e_i = e_i.\\ 令c = \beta_1 e_1 + \cdots + \beta_i e_i + \cdots + \beta_n e_n \\ 于是有\\ e_i = b + c = (\alpha_1 + \beta_1) e_1 + \cdots + (\alpha_n + \beta_n) e_n \\ 由基底的性质，则必有\\ \alpha_j + \beta_j = 0, \alpha_i + \beta_i = 1 (j \neq i, j = 1, \cdots, n) \\ 亦即：\alpha_j = \beta_j = 0 (j \neq i, j = 1, \cdots, n), \\ \alpha_i = 1 或者 \beta_i = 1. \\ 若\alpha_i = 1,则 b = e_i,矛盾。\\ 若\beta_i = 1,则c = e_i,即 \bar b e_i = e_i,所以 0 = (b \bar b) e_i = b(e_i) = be_i = b, 矛盾，\\ 所以e_i是极小元素。\\ 设e^{\ast}是B的一个极小元素，令e^{\ast} = \alpha_1 e_1 + \cdots + \alpha_n e_n, \\ 因为e^{\ast} \neq 0,故不妨设\alpha_j \neq 0, 于是 e^{\ast} e_j = e_j, \\ 因为e^{\ast}是极小元素，所以e^{\ast} = e_j,即B的每一个极小元素，都必是基底中某一元素。$

$(2) 设e_1, \cdots, e_n是B中所有极小元素。\\ 首先e_i可由e_1, \cdots, e_n做如下线性表示:\\ e_i = 0e_1 + \cdots + 1 e_i + \cdots + 0 e_n, \\ 并且此表示是唯一的。\\ 若不然，令 e_i = \alpha_1 e_1 + \cdots + \alpha_n e_n \\ 其中至少有一个\alpha_j \neq 0 (j \neq i),使 0 = e_i e_j = \alpha_j e_j = e_j, 矛盾。\\ 其次，设a是B中任一非极小元素。\\ 令所有 \leq a 的极小元素(由引理1知，这是存在的)为\\ e_{i_1}, \cdots, e_{i_k} (1 \leq i_1 < \cdots < i_k \leq n) \\ 令 e_{i_1} + \cdots + e_{i_k} = b,显然，b \leq a. \\ 若b < a, 则\bar b a \neq 0(否则，将推出a \leq b), \\ 于是，由引理1知，必有极小元素 e_j \leq \bar b a, \\ 因为 \bar b a \leq a,所以 e_j \leq a.因此，e_j 必是e_{i_1}, \cdots, e_{i_k}其中某一个。\\ 设e_j = e_{i_l}(1 \leq l \leq k).\\ 因为e_j = e_{i_l} \leq \bar b a,所以 (\bar b a) e_{i_l} = e_{i_l} \\ 而 e_{i_l} b = e_{i_l},故(\bar b a e_{i_l}) b = e_{i_l}, \\ 即(\bar b b) a = e_{i_l}, 即 e_{i_l} = 0,矛盾, \\ 故b = a,即a = e_{i_l} + \cdots + e_{i_k}. \\ 又设a = e_{j_1} + \cdots + e_{j_r}, 不妨设 e_{j_1} \neq e_{i_p}(对所有的p = 1, \cdots, k), \\ 于是 e_{j_1}a = e_{j_1}, 而e_{j_1}(e_{i_1} + \cdots + e_{i_k}) = 0,故 e_{j_1} = 0,矛盾，\\ 所以a的线性表示是唯一的。$

$推论1：若(B, \cdot, +, ^-, 0, 1)是布尔代数，其基底e_1, \cdots, e_n，\\ 则e_1 + e_2 + \cdots + e_n = 1。$
$比如，(S_{30}, \cdot, +, ^-, 1, 30)的基底为2，3, 5, 2 + 3 + 5 = 30。$

$推论2：有限布尔代数的基底是唯一的。$

$定义8.5.5.设(B, \cdot, +, ^-, 0, 1)是布尔代数。s_1, \cdots, s_r是B中一组元素。\\ 设S是关于s_1, \cdots, s_r的所有多项式的集合: \sum x_{i_1} \cdots x_{i_n}, \\ 其中1 \leq i_p \leq r(1 \leq p \leq n),x_{i_p}或为S_{i_p},或为\overline{S_{i_p}}。$
$不难证明：(S, \cdot, +, ^-, 0, 1)是布尔代数。我们称此布尔代数为由\lbrace s_1, \cdots, s_r \rbrace\\ 生成的布尔代数。$

$例8.5.7.(S_{30}, \cdot, +, ^-, 1, 30)中由\lbrace 2, 6 \rbrace生成的布尔代数是(S_{30}, \cdot, +, ^-, 1, 30)本身; \\ 由\lbrace 1, 30 \rbrace生成的布尔代数是(\lbrace 1, 30 \rbrace, \cdot, +, ^-, 1, 30); \\ 由\lbrace 2 \rbrace 生成的布尔代数是(\lbrace 1, 2, 15, 30 \rbrace, \cdot, +, ^-, 1, 30).$

$定义8.5.6.设X_1, \cdots, X_n是一组文字，于是文子串X_1^{\alpha_1}X_2^{\alpha_2} \cdots X_n^{\alpha_n}称为关于\\ X_1, \cdots, X_n的一个极小项，其中\alpha_i或为0，或为1，i = 1,\cdots, n。设s_1, \cdots, \\ s_n为布尔代数B中一组元素，若规定S_i^0 = \overline{S_i}, S_i^1 = S_i,i = 1, \cdots, n。则关于\\ s_1, \cdots, s_n的每一个极小项，都有一个由0，1(布尔代数B中的0,1)组成的n元值组\\ ，代入该极小项，使其等于1.将此n元值组看做n位二进制数，令为p,于是将该极小\\ 项可记为m_p.如果关于s_1, \cdots, s_n的一个多项式中的每一个乘积项，都是一个关于\\ s_1, \cdots, s_n的极小项，则称此多项式为一个关于s_1,\cdots, s_n的多项范式。$

$例8.5.8.(S_{30}, \cdot, +, ^-, 1, 30)中关于2, 6的所有极小项为：\\ 2^0 \cdot 6^0 = \bar 2 \cdot \bar 6 = 15 \cdot 5 = 5, \\ 2^0 \cdot 6^1 = \bar 2 \cdot 6 = 15 \cdot 6 = 3, \\ 2^1 \cdot 6^0 = 2 \cdot \bar 6 = 2 \cdot 5 = 1, \\ 2^1 \cdot 6^1 = 2 \cdot 6 = 2 \cdot 6 = 2.$

$定义8.5.7.布尔代数B中一组元素A_1, \cdots, A_n称为互相独立的，\\ 如果关于它们所有极小项都不为0.$
$由例8.5.8可见，(S_{30}, \cdot, +, ^-, 1, 30)中2，6不相互独立，因为2^1 \cdot 6^0为最小元1.\\ 实际上，在(S_{30}, \cdot, +, ^-, 1, 30)中任意找两个元素都不相互独立。$

$例8.5.9(S_{210}, \cdot, +, ^-, 1, 210)中6和10相互独立，因为关于它们的所有极小项2，\\ 3，5，7，都不是最小元1.由\lbrace 6, 10 \rbrace可生成(S_{210}, \cdot, +, ^-, 1, 210),且S_{210}中任意\\ 元素都可唯一地表为关于6，10的多项范式。$

$定理8.5.4.设B是布尔代数A_1, \cdots, A_n是其中一组相互独立的元素。设A是由\\ \lbrace A_1, \cdots, A_n \rbrace生成的布尔代数，于是对于A中任意元素a,都可唯一地表示成一\\ 个关于A_1, \cdots, A_n的多项范式。$
$证明：关于A_1, \cdots, A_n的任意两个不同的极小项m_i, m_j(i \neq j),必有m_im_j = 0。\\ 首先，由生成的定义知，A中任意元素a都可表为关于A_1, \cdots, A_n的多项式，对于多项\\ 式中任一个不是极小项的p，用p乘以(A_{i_1} + \overline{A_{i_1}}), \cdots, (A_{i_k} + \overline{A_{i_k}}), 其中 A_{i_1}, \cdots, \\ A_{i_k}, 是p中缺少的A_1, \cdots, A_n中的元素，然后用分配律展开即得极小项，如此处理可见\\ a可表为关于A_1, \cdots, A_n的多项范式。\\ 根据不同极小项相乘为0可证明：a表成的多项范式是唯一的。$

$推论：设B是布尔代数，A是由互相独立元素\lbrace A_1, \cdots, A_n \rbrace生成的布尔代数，\\ 于是关于A_1, \cdots, A_n的2^n个极小项m_0, \cdots, m_{2^n -1}是布尔代数A的基底。$

$定理8.5.5.设A是由互相独立的元素\lbrace A_1, \cdots, A_n \rbrace生成的布尔代数，\\ 于是A中所有极小项元素就是关于A_1, \cdots, A_n的所有极小项。$