接近最小化积之和式的简化方法

本文介绍一个将任意布尔函数最小化的算法。其方法与先前首先求得全部质蕴涵项然后确定最小覆盖的方法不同。这个算法为了获得接近最小的积之和的实现,运用一组条件来选择质蕴涵项。并把它推广到多输出和不完全规定函数的情况。所提出的算法的主要特点是求解同一问题所化费的机器时间比用其它的算法少。如果只要求结果是较少的乘积项时,MINI算法对于输入、输出数目多的布尔函数可以给出较好的结果。这个算法也适合于寻求内部按积之和实现的大的布尔函数的可编程序阵列(PLA)的解。