多输出开关函数化简的一种算法

本文介绍了多输出开关函数化简的一种算法。该算法根据集合论的概念,应用小项覆盖定理、质蕴涵项覆盖定理来寻求函数质蕴涵项集合进而获得最小造价的覆盖(或无冗余覆盖)并用扩展BASiC语言编制了程序。经半年的使用,达到预期的效果。该算法的特点是:化简得到的最小覆盖(或无冗余覆盖)中有最多的公共质蕴涵项,程序简单,不受变量和输出函数多少的限制,使用方便。