第7讲 组合逻辑函数化简_新.pdfVIP

第7讲 组合逻辑函数化简 吴海军 南京大学计算机系 主要内容  布尔代数化简  卡诺图化简  蕴含项、质蕴涵项、实质蕴含项  Q-M化简  分组列表  无关项 2017/3/22 第7讲组合逻辑函数化简 2 卡诺图 （Karnaugh Map: K-MAP） 如何通过真值表化简？ 最小项真值表 m 和m 可以消去1一个变量吗？ 3 5 ABC Y m 和m 可以消去1一个变量吗？ 3 6 000 0 m 和m 可以消去1一个变量吗？ 3 7 001 0 什么情况下可以消去一个变量？ 010 0 汉明距离为1，具有相邻关系。 011 1 m 和谁相邻？ 3 100 0 如何直观寻找相邻关系？ 101 1 110 1 卡诺的方法： 111 1 将真值表中逻辑相邻转 2017/3/22 第7讲组合逻辑函数化简 5 换为空间相邻的方格图！ V恩图到卡诺图  卡诺图是真值表的另一种形式，图示化相邻关系。 A A m A B AB B 0 B m m m AB AB AB 2 3 1 (a) (b) (c) A A A