作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (20): 30-32. doi: 10.3969/j.issn.1000-3428.2011.20.011

• 软件技术与数据库 • 上一篇    下一篇

改进的Q-M逻辑函数化简方法

徐俊平,程利新   

  1. (哈尔滨工程大学计算机科学与技术学院,哈尔滨 150001)
  • 收稿日期:2011-04-12 出版日期:2011-10-20 发布日期:2011-10-20
  • 作者简介:作者简介:徐俊平(1983-),男,硕士研究生,主研方向:逻辑综 合;程利新,讲师、博士后
  • 基金资助:
    哈尔滨工程大学基础研究基金资助项目(HEUFT05069)

Improved Q-M Method for Simplification of Logic Functions

XU Jun-ping, CHENG Li-xin   

  1. (College of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China)
  • Received:2011-04-12 Online:2011-10-20 Published:2011-10-20

摘要: 为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。

关键词: 逻辑函数化简, Q-M方法, 质蕴涵项, 二分图, 最小覆盖

Abstract: In order to improve the simplification speed of logic functions, this paper proposes an improved Q-M method for simplification of logic functions. The size of implicants set is decreased by using a pair of weights in the iteration process of comparison, only the implicants which satisfy the conditions is merged. And all prime implicants are obtained at last. Bipartite graph which is consists of prime implications and minterms is structured. The least prime implicants containing all of the minterns, that is, the minimum coverage of logic functions is obtained by heuristic approach. Experimental results show that the number of iterations can be reduced, and the speed of simplification can be accelerated.

Key words: simplification of logic functions, Q-M method, prime implicants, bipartite graph, minimum coverage

中图分类号: