2.3 逻辑代数基本公式和常用公式

 

2.3 逻辑代数的基本公式和常用公式

2.3.1 基本公式

表 2.3.1 给出了逻辑代数的基本公式。这些公式也称为布尔恒等式。

表 2.3.1 逻辑代数的基本公式

序号	公式	序号	公式
1	0⋅𝐴=00⋅A=0	10	1′=01′=0 , 0′=10′=1
2	1⋅𝐴=𝐴1⋅A=A	11	1+𝐴=11+A=1
3	𝐴⋅𝐴=𝐴A⋅A=A	12	0+𝐴=𝐴0+A=A
4	𝐴⋅𝐴′=0A⋅A′=0	13	𝐴+𝐴=𝐴A+A=A
5	𝐴⋅𝐵=𝐵⋅𝐴A⋅B=B⋅A	14	𝐴+𝐴′=1A+A′=1
6	𝐴⋅(𝐵⋅𝐶)=(𝐴⋅𝐵)⋅𝐶A⋅(B⋅C)=(A⋅B)⋅C	15	𝐴+𝐵=𝐵+𝐴A+B=B+A
7	𝐴⋅(𝐵+𝐶)=𝐴⋅𝐵+𝐴⋅𝐶A⋅(B+C)=A⋅B+A⋅C	16	𝐴+(𝐵+𝐶)=(𝐴+𝐵)+𝐶A+(B+C)=(A+B)+C
8	(𝐴⋅𝐵)′=𝐴′+𝐵′(A⋅B)′=A′+B′	17	𝐴+𝐵⋅𝐶=(𝐴+𝐵)⋅(𝐴+𝐶)A+B⋅C=(A+B)⋅(A+C)
9	(𝐴′)′=𝐴(A′)′=A	18	(𝐴+𝐵)′=𝐴′⋅𝐵′(A+B)′=A′⋅B′

这些公式可以通过列真值表的方法来验证其正确性。如果等式成立，那么将任何一组变量的取值代入公式两边所得的结果应该相等。因此，等式两边所对应的真值表也必然相同。

例 2.3.1 用真值表证明表 2.3.1 中公式 (17) 的正确性。

解：已知表 2.3.1 中的公式 (17) 为： 𝐴+𝐵⋅𝐶=(𝐴+𝐵)⋅(𝐴+𝐶)A+B⋅C=(A+B)⋅(A+C)

将 A、B、C 所有可能的取值组合逐一代入上式的两边，算出相应的结果，即得到表 2.3.2 所示的真值表。可见，等式两边对应的真值表相同，故等式成立。

表 2.3.2 公式 (17) 的真值表

A	B	C	B \cdot C	A + B \cdot C	A + B	A + C	(A + B) \cdot (A + C)
0	0	0	0	0	0	0	0
0	0	1	0	0	0	1	0
0	1	0	0	0	1	0	0
0	1	1	1	1	1	1	1
1	0	0	0	1	1	1	1
1	0	1	0	1	1	1	1
1	1	0	0	1	1	1	1
1	1	1	1	1	1	1	1

2.3.2 若干常用公式

表 2.3.3 中列出了几个常用公式。这些公式是利用基本公式导出的。直接运用这些导出公式可以给化简逻辑函数的工作带来很大方便。

表 2.3.3 若干常用公式

序号	公式
21	𝐴+𝐴⋅𝐵=𝐴A+A⋅B=A
22	𝐴+𝐴′⋅𝐵=𝐴+𝐵A+A′⋅B=A+B
23	𝐴⋅𝐵+𝐴⋅𝐵′=𝐴A⋅B+A⋅B′=A
24	𝐴⋅(𝐴+𝐵)=𝐴A⋅(A+B)=A
25	𝐴⋅𝐵+𝐴′⋅𝐶+𝐵⋅𝐶=𝐴⋅𝐵+𝐴′⋅𝐶A⋅B+A′⋅C+B⋅C=A⋅B+A′⋅C
26	𝐴⋅(𝐴⋅𝐵)′=𝐴⋅𝐵′A⋅(A⋅B)′=A⋅B′, 𝐴′⋅(𝐴⋅𝐵)′=𝐴′A′⋅(A⋅B)′=A′

现将表 2.3.3 中的各式证明如下：

1. 公式 (21): 𝐴+𝐴⋅𝐵=𝐴A+A⋅B=A

   证明： 𝐴+𝐴⋅𝐵=𝐴⋅(1+𝐵)=𝐴⋅1=𝐴A+A⋅B=A⋅(1+B)=A⋅1=A

   解释：在两个乘积项相加时，若其中一项以另一项为因子，则该项是多余的，可以删去。

2. 公式 (22): 𝐴+𝐴′⋅𝐵=𝐴+𝐵A+A′⋅B=A+B

   证明： 𝐴+𝐴′⋅𝐵=(𝐴+𝐴′)⋅(𝐴+𝐵)=1⋅(𝐴+𝐵)=𝐴+𝐵A+A′⋅B=(A+A′)⋅(A+B)=1⋅(A+B)=A+B

   解释：两个乘积项相加时，如果一项取反后是另一项的因子，则此因子是多余的，可以消去。

3. 公式 (23): 𝐴⋅𝐵+𝐴⋅𝐵′=𝐴A⋅B+A⋅B′=A

   证明： 𝐴⋅𝐵+𝐴⋅𝐵′=𝐴⋅(𝐵+𝐵′)=𝐴⋅1=𝐴A⋅B+A⋅B′=A⋅(B+B′)=A⋅1=A

   解释：当两个乘积项相加时，若它们分别包含 𝐵B 和 𝐵′B′ 两个因子而其他因子相同，则两项定能合并，且可将 𝐵B 和 𝐵′B′ 两个因子消去。

4. 公式 (24): 𝐴⋅(𝐴+𝐵)=𝐴A⋅(A+B)=A

   证明： 𝐴⋅(𝐴+𝐵)=𝐴⋅𝐴+𝐴⋅𝐵=𝐴+𝐴⋅𝐵=𝐴⋅(1+𝐵)=𝐴⋅1=𝐴A⋅(A+B)=A⋅A+A⋅B=A+A⋅B=A⋅(1+B)=A⋅1=A

   解释：变量 𝐴A 和包含 𝐴A 的和相乘时，其结果等于 𝐴A，即可以将和消掉。

5. 公式 (25): 𝐴⋅𝐵+𝐴′⋅𝐶+𝐵⋅𝐶=𝐴⋅𝐵+𝐴′⋅𝐶A⋅B+A′⋅C+B⋅C=A⋅B+A′⋅C

   证明： 𝐴⋅𝐵+𝐴′⋅𝐶+𝐵⋅𝐶=𝐴⋅𝐵+𝐴′⋅𝐶+𝐵⋅𝐶⋅(𝐴+𝐴′)A⋅B+A′⋅C+B⋅C=A⋅B+A′⋅C+B⋅C⋅(A+A′) =𝐴⋅𝐵+𝐴′⋅𝐶+𝐴⋅𝐵⋅𝐶+𝐴′⋅𝐵⋅𝐶=A⋅B+A′⋅C+A⋅B⋅C+A′⋅B⋅C =𝐴⋅𝐵⋅(1+𝐶)+𝐴′⋅𝐶⋅(1+𝐵)=A⋅B⋅(1+C)+A′⋅C⋅(1+B) =𝐴⋅𝐵+𝐴′⋅𝐶=A⋅B+A′⋅C

   解释：若两个乘积项中分别包含 𝐴A 和 𝐴′A′ 两个因子，而这两个乘积项的其余因子组成第三个乘积项时，则第三个乘积项是多余的，可以消去。

6. 公式 (26): 𝐴⋅(𝐴⋅𝐵)′=𝐴⋅𝐵′A⋅(A⋅B)′=A⋅B′, 𝐴′⋅(𝐴⋅𝐵)′=𝐴′A′⋅(A⋅B)′=A′

   证明： 𝐴⋅(𝐴⋅𝐵)′=𝐴⋅(𝐴′+𝐵′)=𝐴⋅𝐴′+𝐴⋅𝐵′=0+𝐴⋅𝐵′=𝐴⋅𝐵′A⋅(A⋅B)′=A⋅(A′+B′)=A⋅A′+A⋅B′=0+A⋅B′=A⋅B′

   解释：当 𝐴A 和一个乘积项的非相乘，且 𝐴A 为乘积项的因子时，则 𝐴A 这个因子可以消去。

   𝐴′⋅(𝐴⋅𝐵)′=𝐴′⋅(𝐴′+𝐵′)=𝐴′⋅𝐴′+𝐴′⋅𝐵′=𝐴′⋅1=𝐴′A′⋅(A⋅B)′=A′⋅(A′+B′)=A′⋅A′+A′⋅B′=A′⋅1=A′

   解释：当 𝐴′A′ 和一个乘积项的非相乘，且 𝐴A 为乘积项的因子时，其结果就等于 𝐴′A′。

从以上的证明可以看到，这些常用公式都是从基本公式导出的结果。当然，还可以推导出更多的常用公式。