逻辑变量对称性在逻辑综合、OBDD化简、故障检测、电路分析及密码学函数构造等领域具有广泛的应用。为简化或-符合代数系统中12类对称变量的检测过程，提出一种新的检测算法。提出新的基于或-符合展开系数对称性检测算法。该算法可实现12类对称变量的完备性检测，同样适用于与-或-非代数系统和与-异或代数系统。首先，分析基于或-符合展开布尔函数的子函数系数矩阵和有序子系数矩阵之间的关系（公式5），提出基于有序子系数矩阵的12类对称形式的约束条件（表3）。根据该约束条件，通过判别图的有序特征格值，提出逻辑变量12类对称形式的快速检测算法（图4）。与其他方法相比（表7），该方法有效避免或-符合展开系数和与-异或展开系数及与-或-非展开系数之间的转换，同时解决了图方法中的完备性问题。算法用C语言实现并用MCNC91 benchmarks（表6）进行测试。提出或-符合代数系统中12类对称变量的检测算法。与其他方法相比，该算法在适用的检测变量数、检测类型、检测过程的复杂度方面最优。

关键词： 对称变量,  图,  或-符合代数系统,  布尔函数