《数字电子技术基础》第3章逻辑代数研究.ppt

3.1.1逻辑代数定理 逻辑表达式：逻辑常量及逻辑变量之间的逻辑运算式称为逻 辑表达式。 表3.1.2 逻辑代数基本定理 证明方法：枚举法，即按基本逻辑运算（与、或、非）的定义列出真值表进行逻辑运算。 3.1.2 常用恒等式 证明常用恒等式的方法：用基本定理导出或枚举法 3.2 逻辑运算的基本规则 3.2.2 反演规则 3.2.3 对偶规则 3.3 逻辑函数的代数法化简 2.最简与或表达式的标准： （1）乘积项的个数最少； 2、吸收法 5、配项法 3.4 逻辑函数的卡诺图化简 3.4.1 逻辑函数标准表达式 最小项的性质： ①对于任意一个最小项，只有一组变量取值使其为1，其它组取值使其为0。 为1 的取值组合是最小项的编号。 逻辑相邻: ——仅有一个变量不同的2个最小项称为逻辑相邻最小项，简称相邻项。 最小项一般表达式： 3变量表达式： (由表3.4.1的最后一列得） 2.标准或与式 一般地，n个变量的逻辑函数有2n个最大项。例如，3变量的逻辑函数有23个最大项， 最大项的编号方法： 最大项一般表达式： 由式（3.4.3）得 3．实际问题的逻辑函数 例3.4.1 一楼梯间照明电路如下图所示。双控开关A和B一个装在楼上，一个装在楼下。楼下时开灯，上楼后则可关灯，反之亦然。 3.4.2 逻辑函数的卡诺图 2． 逻辑函数的卡诺图 方法二