一、 实验名称
基于 Q-M 算法的逻辑化简程序 语言的实现，实现一个能处理十变量及以
上的逻辑函数化简工具
二、 实验目的
掌握对逻辑表达式化简的方法，加强对化简本质的认识，锻炼应用 语言解
决实际问题的能力。
三、 实验要求
变量个数及字母表示正确
化简输出表达式正确
表达式输出排序正确
边界条件输出正确
实现一个能处理十变量及以下的逻辑函数化简
四、 化简原理
概述：搜索所有本原蕴含项，然后从这些本原蕴含项中提取出覆盖开状态集
合的最小集合。
具体步骤：
搜索本原蕴含项
以最小项形式列出开状态集合和无关项集合中所有元素，元素用二进制
表示。第一列中，根据二进制数含 的个数分组。第一组只能和第二组
比较，第二组只能和第三组比较，依此类推。如果比较的元素只有一位
不同，那么他们所代表的最小项在 维布尔空间是相邻的，并由这两个
元素得到蕴含项，将其放入下一列，如果一个元素对新的蕴含项没有贡
页
评论0