逻辑代数没有减法。
1. 基本定律
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201019090844264.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM1OTEyOTMw,size_16,color_FFFFFF,t_70#pic_center)
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201019090907235.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM1OTEyOTMw,size_16,color_FFFFFF,t_70#pic_center)
2. 恒等式
A
+
A
‾
⋅
B
=
A
+
B
A+\overline{A}·B = A + B
A+A⋅B=A+B
可用真值表证明。
3. 基本规则
(1) 代入规则
内容:在任何一个逻辑等式中,如果用一个函数代替等式两边出现的某变量A,则等式依然成立。
(2) 反演规则
内容:类似于摩根定律
(3) 对偶规则
L的对偶式:把L中的与换成或,或换成与,1
换成0,0换成1后的逻辑表达式。
本来在一起的,换号后还在一起
先与,后或
当某个逻辑表达式相等,则它们的对偶式也相等。