用编码算法求本源蕴涵项并构成布尔函数的近似最小化表达式

详细信息   全文下载|推荐本文 |

• 出版年：1992
• 作者：王波
• 单位1：南通纺织工学院
• 语种：中文
• 起始页：35
• 总页数：7
• 刊名：计算机应用与软件
• 是否内版：否
• 刊频：双月刊
• 主编：朱三元
• 地址：上海愚园路546号
• 卷：9
• 期：4

摘要

本文提出了一个有效的化简布尔函数的算法。本源蕴涵项是通过小项的编码运算获得的。使用该算法可得到一个函数的近似最小化解，其近似程度不低于Arevala和Bredson提出的算法（以下简称A-B 法)⑴。本算法的主要特点是: 1.运算速度快;2.运算时间随变量个数增加的速度明显低于现行各种算法。因此，尤其适用于大规模逻辑设计问题。