摘要：在基于函数最小项的双逻辑探测算法中，由于函数最小项个数将随着变量数的增加而急剧增大，使得算法因时间或空间的占用过大而失效．为此，本文提出了基于函数最简项的快速探测算法，弥补了其缺陷．由于基于最小项和最简项的探测算法所适用的函数范围都有一定的局限性，因此进一步提出了将两种算法综合运用的策略，可有效改进探测效果．经MCNC Benchmark上电路的判定测试，验证了其有效性．

关键词：boolean逻辑 汉明距离 探测算法 

单位：宁波大学电路与系统研究所; 浙江宁波315211