2.1.3 逻辑代数的基本规则
4、附加公式
附加公式二: 一个包含有变量x、x 的函数f,可展开为 x·f和
x·f的逻辑或。 一个包含有变量x、x 的函数f,可展开为(x+f)和
(x+f)的逻辑与。
利用附加公式一,可以改写为:
2.1.3 逻辑代数的基本规则
4、附加公式
例题:化简函数 AB BD (A B)(A B)(B E)
2.1.2 逻辑代数的基本公式
基本公式验证方法: 真值表 利用基本定理化简公式 例:真值表验证摩根定律
A B A B A+B A+B A B 00 1 1 1 1 01 1 1 0 0 10 1 1 0 0 11 0 0 0 0
A______•____B______
__ __
A B
__ __
A B A • B
2.1.2 逻辑代数的基本公式
真值表 利用基本定理化简公式 例:证明包含律
AB AC BC AB AC
证明:
AB(C C) AC(B B ) BC(A A) 1律、互补律 ABC ABC ABC ABC ABC ABC 分配律 ABC ABC ABC ABC 重叠律 AB AC 分配律、互补律
比较两种方法,应用反演规则比较方便。
2.1.3 逻辑代数的基本规则
2、反演规则
例题:求下列函数的反函数 1、F AB CD 2、F A B BCD
2.1.3 逻辑代数的基本规则
3、对偶规则
如果将逻辑函数F 中所有的“”变成“+”,“+”变
成“”,“0”变成“1”,“1”变成“0”, 则所得到的新
A
F
A1 F
非门 (A是输入,F是输出)