摘要: 本文探讨组合逻辑二级化简课题.作者对N.Necula求无冗余解的算法做了改进和修正——提出了布尔函数的全小项码表示法,修正了原算法中选拔质蕴含项的规则2,从而使得算法比较节省存储和运算时间,并同样能得到接近最小价格的解.本文算法以及原Necula算法均在NOVA3/D机上用FORTRAN IV实现并做了时效比较.