定律的证明 (1)检验等式两边的函数的真值表是否相同 (2)用更基本的定律证明 注意:反映的是逻辑关系不是数量关系 不能套用初等代数的运算规则,不能移项
定律的证明 (1) 检验等式两边的函数的真值表是否相同 (2)用更基本的定律证明 注意： 反映的是逻辑关系 不是数量关系 不能套用初等代数的运算规则，不能移项
3.1.2逻辑代数的基本规则 (1)代入规则:对等式中的某个变量,都用同一个逻辑函 数代替时,等式依然成立 B(A+CBA+BC A→A+D B(A+D+C)=B(A+D)+BC (2)反演规则:L中的与→或,或→与原变量→非变量 非变量→原变量1→0,0→1 得到L L=AB+CD L =(A+B)CC+D)
3.1.2 逻辑代数的基本规则 (1)代入规则：对等式中的某个变量，都用同一个逻辑函 数代替时，等式依然成立 B(A+C)=BA+BC B(A+D+C)=B(A+D)+BC A A+D (2)反演规则： L中的与 或 , 或 与 原变量 非变量 非变量 原变量 1 0，0 1 得 到 L L= AB +CD L =(A+B)( ) C + D
(3)对偶规则 把L中的与→或,或→与,1→0,0→1, 原、反变量不变,得到L的对偶式 当某个逻辑恒等式成立时,其对偶式也成立 A+AB=A+B 对偶式A(A+B)=A.B
（3）对偶规则 把L中的与 或，或 与，1 0，0 1， 原、反变量不变,得到L的对偶式 当某个逻辑恒等式成立时，其对偶式也成立 A+ =A+B AB 对偶式 A(A + B) = A B
3.1.3逻辑函数的代数变换与化简法 1.逻辑函数的变换 A囝B A L L=A⊙B B B·AB L= A. AB+B AB L=AB+AB L=AB+AB
3.1.3逻辑函数的代数变换与化简法 1. 逻辑函数的变换 L= A AB + B AB L= A B + AB L=AB+ AB
2.逻辑函数的化简 L=AC+ CD 与或表达式 利用反演律L=AC+CD =AC +cD (A+C)(C+D)=AC+AD+Cd=AC+CD AC·CD=(+C)(C+D) 或一与表达式 =(A+CC+D)=A+C+C+D或非一或非表达式 ac+CD 与一或一非表达式
2. 逻辑函数的化简 L=AC+ CD 与或表达式 L= AC + CD = AC + CD 利用反演律 = (A+ C)(C + D) = AC + AD + CD = AC + CD = AC CD = (A+ )(C+D) C 或－与表达式 = (A+C)(C + D) = A+ C + C + D 或非－或非表达式 = AC + CD 与－或－非表达式