目录 1. 基本定律2. 恒等式3. 基本规则(1) 代入规则(2) 反演规则(3) 对偶规则 逻辑代数没有减法。 1. 基本定律 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后的逻辑表达式。 本来在一起的,换号后还在一起 先与,后或 当某个逻辑表达式相等,则它们的对偶式也相等。