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

Using Fired Polarity Reed-Muller Forms in Boolean Equivalence

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

This paper discusses the fixed polarity Reed-Muller (namely FPRM) form of Boolean function, and the Boolean equivalence can be checked through the FPRM form. A novel method is mentioned in this paper Using this method, the exact polarities of both the Boolean function and the FPRM from can be got which largely reduce the workload of Boolean.