中文摘要：

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

英文摘要：

We propose a new symmetry detection algorithm based on the spectral technique in order to simplify the process of detecting 6 types of antisymmetric variables in the Boolean function. According to the antisymmetry defi- nition of the logical variables, a new antisymmetric detection algorithm used for identifying six types of antisymmet- ric logical variables including CN（xi ｜xj）, CE（xi ｜xj）, CS（xi ｜xj）, CS（xi ｜xj）, CS（xj ｜xi） and CS（xj ｜xi） is pro- posed, which resolves the lack of the effective methods for identifying antisymmetric variables. The application re- sults show that this method is convenient for the operation and suitable for computer programming.