数字逻辑数逻第.pptVIP

数字逻辑 主讲：姜宇鹰 暨南大学信息学院计算机系 第三章 布尔代数与逻辑函数化简 3.1 基本公式和法则 3.2 逻辑函数的代数法化简 3.3 卡诺图化简 教学目标 掌握布尔代数的基本公式和法则以及卡诺图、最小项等有关概念，并熟练地运用到逻辑函数的代数法和卡诺图化简法中；熟练掌握不同形式逻辑函数之间的转换；掌握输入只有原变量没有反变量的逻辑函数的基本化简方法。 教学重点 逻辑函数的卡诺图化简法 。 教学难点 多余项定律的应用，卡诺图结构及卡诺图化简的逻辑内涵，无关项的应用，阻塞化简法 。 3.1 基本公式和规则 3.1.1 基本公式 表 3 – 1 基本公式 续表 表 3 – 2 证明分配律的真值表 表 3 – 3 求反律的真值表 多余项定律证明如下： 多余项定律可推广为 3.1.2 基本法则 1、代入法则 逻辑等式中的任何变量A， 都可用另一函数Z代替，等式仍然成立。  代入法则可以扩大基本公式的应用范围。 例 1 证明 解 将等式两边的B用B+C代入，得 同理可将摩根定律推广到n变量 2. 对偶法则 法则：对于任何一个逻辑表达式F， 如果将其中的“