逻辑最小化的解析方法

多输出布尔函数的自动化简是数字系统设计自动化的一个重要环节,已知的方法大多以星积、锐积运算为基础,运算量大,得到的结果冗余度有时还较大。本文提出的方法引入了降阶、升阶和包容度的概念,采用了同输入变量和输出函数数量无关的算法,大大简化了求解过程,提高了运算速度,并可得到与已知方法相同或更优的结果。