固定极Reed-Muller展开式在布尔函数等效性的应用

介绍了布尔函数的固定极Reed－Muller展开式（FPRM），通过FPRM展开式验证了布尔函数的等效性。该方法通过确定布尔函数中各变量的平衡得到布尔函数的极性。当布尔函数的极性确定后即可得到其FPRM展开式，使用该方法叶布尔函数的进行展开验证布尔等效性时，工作量将大为降低。