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

摘要

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