数字电路第二章(逻辑代数基础)6.pptVIP

对偶定理提供了一种证明两个逻辑式相等的方法： 通过证明它们的对偶式相等来完成。 例如：证明 A+BC=(A+B)(A+C) 解：写出等式两边对应的对偶式，得到： A(B+C) 与 AB+AC 根据乘法分配律，两对等式相等；由对偶定理知所证等式成立。; 一般地说，若某一电路的输入逻辑变量A、B、C…的取值确定以后，输出逻辑变量Y的值也唯一地确定了，就称Y是A、B、C的逻辑函数，写作： Y=f（A，B，C…）; 逻辑电路功能可由相应的逻辑函数完全描述。 逻辑函数与代数中的函数相比较，有两个突出的特点： （1）逻辑变量和逻辑函数只能取两个值0和1。 （2）函数和变量之间的关系是由与、或、非三种基本运算决定的。;分析:第一步：设置自变量和因变量。 第二步：状态赋值。 对于自变量A、B、C, 设：同意为逻辑“1”，不同意为逻辑“0”。 对于因变量Y 设：事情通过为逻辑“1”,没通过为逻辑“0”。 第三步：根据题义及上述规定, Y是自变量A、B、C的二值逻辑函数： Y=f（A，B，C）;逻辑真值表 逻辑函数式 逻辑电路图 波形图 卡诺图 硬件描述语言;逻辑真值表：将输入逻辑变量的各种可能取值和相应的函数值排列在一起而组成的表格。 逻辑函数式：由逻辑变量和“与”、“或”、“非”三种逻辑运算符所构成的表达式。 逻辑图：由逻辑符号及它们之间的连线而构成的图形;波形图：将输入逻辑变量的各种可能取值和相应的函数值按照时间顺序排列起来。;逻辑函数的表示方法之间的相互转换;逻辑函数的表示方法之间的相互转换;逻辑函数的表示方法之间的相互转换;逻辑函数的表示方法之间的相互转换;逻辑函数的表示方法之间的相互转换;逻辑函数的表示方法之间的相互转换;例：有一水塔，用一大一小的两台电动机MS、ML驱动水泵向水塔注水，当水塔的水位降低到C点时，由小电机MS单独驱动水泵；降低到B点时由大电机ML单独驱动；降低到A点时由两台电机同时驱动，要求设计一个控制电机工作的逻辑电路。;③根据真值表写出逻辑表达式。 ④根据逻辑函数表达式画出逻辑电路图;逻辑函数的表示方法之间的相互转换;例：写出下图电路输出F的逻辑函数式;逻辑函数的表示方法之间的相互转换;;;;;;;;;;最大项：在n个变量的逻辑函数中，若M为包含n个变量之和，而且这n个变量均以原变量或反变量形式在M中出现一次，则 “和”项M被称为该组变量的最大项。 例如：二变量的最大项有4个：A‘+B’、A‘+B、A+B’、A+B；n变量的最大项有2n个.;;最大项的重要性质： ①在输入变量的任何组合的取值下必有一个最大项，并且仅有一个最大项的值为0.如：三变量A=1、B=0、C=1时，A‘+B+C‘=0。 ②全体最大项之积为0，即： ③任意两个最大项之和为1。 ④只有一个变量不同的两个最大项的乘积等于个相同变量之和。 ⑤根据摩根定律，下标相同的最小项与最大项为互补关系：Mi=mi;最大项与最小项之间的关系： ①根据摩根定律，下标相同的最小项与最大项为互补关系：Mi=mi ②最小项和最大项之间存在对偶关系，最小项是与逻辑，最大项是或逻辑；最小项的下标对应的二进制码，进行0、1互换就可以确定最大项的下标。 ;;;问：任意给定逻辑函数，如：F=A‘B+B’C，如何化为“最大项之积”？ ;问：任意给定逻辑函数，如：F=A‘B+B’C，如何化为“最大项之积”？ ;问：任意给定逻辑函数，如：F=A‘B+B’C，如何化为“最大项之积”？ ;;(1)用代数法把一个”与或”表达式函数转换为“与非－与非的形式，一般分为两步：;(2)用代数法把一个”与或”表达式函数转换为“与或非的形式，一般分为两步：;(3)用代数法将”与或”表达式函数转换为“或与”的形式：两种方法： ①利用公式和代入定理：A+BC=(A+B)(A+C)。 ②先转化为“与或非”，利用摩根定理将“与或非”转化为“或与”形式。 ;例：将Ｆ= AC +AB‘+AC转换为“或与”形式;(4)用代数法把一个”与或”表达式函数转换为“或非的形式，一般分为两步：;;;;;;;;;;二变量卡诺图;三变量卡诺图;四变量卡诺图;;;;;;;;基本原理：根据AB+AB‘=A, 它表明两个相邻“与项”或“最小项”可以合并为一项，这一项由两个“与项”中相同的变量组成，可以消去两个 “与项”中不同的变量。 由于卡诺图上几何相邻和逻辑相邻性的一致性，因而在卡诺图中能直观找出具有相邻性的最小项，并将其合并。 在卡诺图上把相邻的若干最小项所对应的小方格圈在一起可进行合并，以达到用一个简单与项代替若干最小项的目的。这样的圈称为卡诺圈。;利用卡诺圈合并最小项的原则（画圈的原则）：