Algorithms for Detecting Dual Logic Based on Product Term

In the dual logic detecting algorithm which based on miniterms,the exponential expansion of minterms makes the minterms based algorithm work slowly and exhausts the memory.To accelerate the detection speed for the large functions,we proposed a novel detecting algorithm which based on cubes.Furthermore a strategy of mixed using of cube based detection and minterm based detection is proposed to get a good result.The experimental results on NCMC benchmark prove our algorithm and strategy effectiveness.