1章节逻辑代数基础(周林计科).ppt

2010-4 都江堰校区 周 林 什么是卡诺图？ 1.变量卡诺图指画成正方形或矩形的图形，图中分割出若干个小方格，每个小方格对应一个变量最小项，该方格图则称为变量卡诺图 (亦称最小项方块图)。 1.2.4 具有约束的逻辑函数的化简 2、约束项：不会出现的变量取值所对应的最小项叫做约束项。如上例的001、011、101。由最小项性质知道，只有对应变量取值出现时，其值才会为1，而约束项对应的是不出现的变量取值，所以其值总为0。 例：具有约束的逻辑函数真值表如右表，试分别求最简与或式和最简或与式。 一、约束的概念和约束条件 （一） 约束、约束项、约束条件 1、 约束：是用来说明逻辑函数中各个变量之间互相制约关系的一个重要概念。 例：三八节看电影，票只发给本班女同学，试分析该逻辑问题。功能表如图： 能 有 女 本 否 无 女 本 不会出现这种情况 有 男 本 否 无 男 本 不会出现这种情况 有 女 非 否 无 女 非 不会出现这种情况 有 男 非 否 无 男 非 说明 能否进场 电影票 性别 班级 能1 有1 女1 本1 否0 无0 女1 本1 不会出现这种情况 有1 男0 本1 否0 无0 男0 本1 不会出现这种情况 有1 女1 非0 否0 无0 女1 非0 不会出现这种情况 有1 男0 非0 否0 无0 男0 非0 说明 能否进场 电影票 性别 班级 用真值表表示： 1 1 1 1 0 1 1 0 不会出现 1 0 1 0 1 0 0 不会出现 0 1 1 0 0 1 0 不会出现 0 0 1 0 0 0 0 说明 Y A B C 由表看出，变量ABC的取值只可能出现000、010、100、110、111五组，而不会出现001、011、101。因为发票的条件就是只发给本班女同学，故这三种变量就是一组有约束的变量。 由有约束项的变量所决定的逻辑函数叫做有约束的逻辑函数 1 1 1 1 0 1 1 0 × 1 0 1 0 1 0 0 × 0 1 1 0 0 1 0 × 0 0 1 0 0 0 0 Y A B C 3、约束条件：由约束项加起来所构成的值为0的逻辑表达式叫约束条件。 （二）、约束条件的表示方法： 1、在真值表和卡诺图中用×符号表示： 2、在逻辑表达式中用等于0的条件等式表式： 解： 例1.2.16 化简逻辑函数： （利用 ） （利用A+AB=A） （利用 ） 再举几个例子： 例1.2.17 化简逻辑函： 解法1： 解法2： Y Y 解： （利用反演律 ） （配项法） （利用 ） （利用A+AB=A） （利用A+AB=A） （利用 ） 例3.1.7 化简逻辑函数： Y 1、正确理解最小项概念： 2、熟悉标准与或表达式： 3、熟悉最小项的表示方法及性质： Y(A，B，C) = m0 + m2 + m3 + m4= ? m(0,2,3,4) 4、了解最大项的概念及表示方法。 5、了解逻辑函数的转换及几种最简表达式方法。 本次课小结 　　代数化简法的优点是：不受变量数目的约束；当对公理、定理和规则十分熟练时，化简比较方便。 缺点是：没有一定的规律和步骤，技巧性很强，而且在很多情况下难以判断化简结果是否最简。 作业：P69 1-8(1)、(3)、(5) 1-9（2）（4）(6) 6、掌握公式法化简的基础方法：并项，吸收，消去，配项等方法。 结论：逻辑函数的化简结果不是唯一的。 　三变量最小项简化真值表 1 0 1 m5 1 1 1 m7 0 1 1 m3 1 1 0 m6 1 0 0 m4 0 1 0 m2 A B C Y 0 0 0 m0 0 0 1 m1 0 m6 m2