例1 A●B+C。D+0 注意 注意括号 括号F1=(A+B)(C+D)1 F1=AC+BC+ad+BD 上与或式 (26)
(26) 例1: F1 = (A + B) • (C + D)•1 F1 = A •B + C• D + 0 ⎯与或式 注意 注意括号 括号 F1 = AC+BC+ AD+BD
例2:F,=A+B+C+D+E 反号不动 F2=A●B·C·D●E 反号不动 =A●(B+C+D+E) A·(B+C+D·E) ∴F2=AB+A●C+A●D●E 与或式
(27) = A• (B+ C+ D+ E) = A • (B + C + D•E) 例2: F2 = A + B+ C+ D+ E F2 = A•B•C• D•E ⎯与或式 反号不动 反号不动 F2 = A•B+ A•C+ A• D•E
2.4.3对偶定理 对偶式:将函数式F中所有的 对 新表达式:偶 常量取反 式 对偶定理:当某个逻辑恒等式成立时 则其对偶式也成立。 若F1=A·B+C·D+0则: FD=(A+B)·C+D·1 aC+adtbc+ bd (28)
(28) 2.4.3 对偶定理 对偶式:将函数式F中所有的 • + + • 常量取反 新表达式: D F 对 偶 式 对偶定理:当某个逻辑恒等式成立时, 则其对偶式也成立。 若 F1 = A • B + C• D + 0 则: F (A B) (C D) 1 D 1 = + • + • = AC+ AD + BC+ BD
注:证明两个逻辑式相等时,也可以 通过证明它们的对偶式相等来完成
(29) 注:证明两个逻辑式相等时,也可以 通过证明它们的对偶式相等来完成
§2.5逻辑函数及其表示方法 25.1逻辑函数 ■事物之间的逻辑关系可以通过描述逻辑输 入变量和输出变量的变化关系来确定,这 是一种函数关系,称为逻辑数。 ■记为:Y=F(A,B,C,…) ■例如与非门:Y=A·B就是一个两输入变 量A和B,一个输出变量的逻辑函数。 ■逻辑函数的输入和输出取值为0和1 ■任何一个逻辑因果关系都可以用一个逻辑 函数来描述 (30)
(30) §2.5 逻辑函数及其表示方法 ◼ 事物之间的逻辑关系可以通过描述逻辑输 入变量和输出变量的变化关系来确定,这 是一种函数关系,称为逻辑函数。 ◼ 记为:Y=F(A,B,C,··· ) ◼ 例如与非门:Y= A · B 就是一个两输入变 量A和B,一个输出变量的逻辑函数。 ◼ 逻辑函数的输入和输出取值为0和1。 ◼ 任何一个逻辑因果关系都可以用一个逻辑 函数来描述。 2.5.1 逻辑函数