逻辑代数或称布尔代数,它是分析与设计逻辑电路的数字工具。它虽然和普通代数一样也用字母(A,B,C,…)表示变量,但变量的取值只有1和0两种,所谓逻辑1和逻辑0。它们不是数字符号,而是代表两种相反的逻辑状态。逻辑代数所表示的是逻辑关系,不是数量关系,这时它与普通代数本质上的区别。
在逻辑代数中只有逻辑乘(与运算)、逻辑加(或运算)和求反(非运算)三种基本运算。根据这三种基本运算可以推导出逻辑运算的一些法则,就是下面列出的逻辑代数运算法则。
1、逻辑代数运算法则
【基本运算法则】
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
【交换律】
(10)
(11)
【结合律】
(12)
(13)
【分配律】
(14)
(15)
证:
【吸收律】
(16)
证:
(17)
(18)
(19)
证:
(20)
(21)
【反演律(摩根定律)】
(22)
证:
0 1 0 1 | 0 0 1 1 | 1 0 1 0 | 1 1 0 0 | 1 1 1 0 | 1 1 1 0 |