课题三逻辑函数及逻辑代数的公式和规则(2学时)讲述.ppt

对你的期望： 熟练掌握逻辑函数表示方法的转换。 熟练掌握逻辑代数的公式和运算规则。 一 逻辑变量与逻辑函数 1.1.1 “与”运算（逻辑乘） 2) 真值表 3) 表达式 4) 逻辑图形符号 1.1.2 “或”运算（逻辑加） 2) 真值表 3) 表达式 4) 逻辑图形符号 1.1.3 “非”运算（逻辑非） 2) 真值表 3) 表达式 4) 逻辑符号 1.3 逻辑函数表示方法的互相转换 学生练习： 二 逻辑代数的公式和规则 ⒈ 基本运算 ⒈ 基本运算（续） ⒉与普通代数相类似的公式 ⒊逻辑代数的特有公式 ⒋ 两种常用的运算 ⒌ 证明方法 2.2 逻辑代数的运算规则 使用反演规则时, 应注意:1.保持原函式中运算顺序。(先括号,再与,再或)2.不属于单个变量上的反号保留不变 ⒉ 对偶规则 推理：若两个逻辑函数F和G相等，则其对偶式F’ 和G’ 也相等。 练习和作业: P46 2.3(3,7) 吸收律: A＋A ? B＝A A? ( A +B)＝A A＋A ? B＝A+B A? ( A +B)＝A? B 摩根定理: A＋B＝A? B A ? B ＝A＋B 包含律: A?B+A?C+BC＝A?B+A?C (A + B)?(A + C)?( B+C )= (A + B)?(A + C) 尾部变换: A? B ＝ A ? A B ⑴异或: A B＝A? B＋ A ? B ⑵同或: A ⊙ B＝A? B＋ A ? B 变量相异为1,反之为0 变量相同为1,反之为0 A 0＝A A 1＝A A⊙0＝A A⊙1＝ A A B＝A ⊙B A⊙B＝A B AB=AC B=C ? A+B=A+C B=C ? 请注意与普通代数的区别！ 真值表法：检查等式两边函数的真值表是否相等。 代数法：应用已证明的公式、定理来推导。 例1 证明 摩根定理: A＋B＝A? B A ? B ＝A＋B 证：用真值表法证明。 同理可证 A＋B ＝A ? B 证明： 推广之： 1 吸收 吸收 例2：证明包含律 C A AB BC A ABC C A AB + = + + + = A C AB BC A AB BCD (G+E) BC C A AB BCD(G+E) C A AB + = + + = + + + = + + C ⒈ 反演规则 F＝(A+B) ?(C+D) 例1： 已知F＝AB＋CD，根据反演规则可得到: 如果将逻辑函数F中所有的“ ? ”变成“+”；“+”变成“ ? ”； “0”变成“1”； “1”变成“0”； 原变量变成反变量；反变量变成原变量；所得到的新函数是原函数的反函数 。 即: “ ? ”, “+”, “0” , “1”, “原变量”, “反变量” “+” , “ ? ” , “1” , “0”, “反变量”, “原变量” 例2：已知 例3：已知 长非号不变 与变或时要加括号 ？ 如果将逻辑函数F中所有的“ ? ”变成“+”； “+”变成“ ? ”；“0”变成“1”； “1”变成“0”； 则所得到的新逻辑函数是F的对偶式F。如果F是F的对偶式，则F也是F 的对偶式，即F与F互为对偶式。 即: “ ? ”, “+”, “0” , “1”, “变量” “+” , “ ? ” , “1” , “0”, 不变 例: 求某一函数F的对偶式时，同样要注意保持原函数的运算顺序不变。 例: 证明包含律：(A+B)?(A+C)?(B+C)=(A+B)? (A+C) 证: 已知 AB ＋A C＋BC=AB＋AC 等式两边求对偶：(A+B)?(A+C)?(B+C)=(A+B)? (A+C) 证毕 例：如 则 * * 参阅教材章节：2.1 逻辑变量与逻辑函数 2.2 逻辑代数的基本公式和规则 一、逻辑变量与逻辑函数 1.1 逻辑代数的基本运算和复合运算 1.2 逻辑函数的表示方法 1.3 逻辑函数表示法之间的转换 二、逻辑代数的基本公式和规则 逻辑： 逻辑状态： 逻辑变量： 逻辑函数： 逻辑电路： 指事物的规律性和因果关系。 完全对立、截然相反的二种状态，如：好坏、美丑、真假、有无、高低、开关等。 代表逻辑状态的符号，取值 0 和 1。 输出是输入条件的函数，有一定的因果关系。 电路的输入和输出具有一定的逻辑关系。 1.0 几个基本概念 1) 定义： 决定一个