论文部分内容阅读
为简化布尔函数6类反对称变量的检测过程,提出了基于谱系数的检测算法.从逻辑变量反对称的定义出发,在分析反对称逻辑变量Rademacher-Walsh(RW)变换谱系数特性的基础上,提出了基于RW变换检测CN(xi|xj)、CE(xi|xj)、CS(xi|xj)、CS(xi|xj)、CS(xj|xi)、CS(xj|xi)6类反对称逻辑变量的算法.应用结果表明,该方法具有易操作和计算机编程简单等优点.