向量式布尔等价性证明算法

摘要

本文提出了一种新的用于证明布尔等价的算法。算法中引入了逆布尔表达式向量化、空间向量的约简、空间向量的变换等新方法。算法复杂性为O(k·2~N),N为布尔式的输入变量数,k<0.5。