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

被引：1

作者：

谭扬波

陈光

机构：

[1] 成都电子科技大学自动化系CAT室!

来源：

关键词：

FPRM展开式; 布尔等效; 固定极; 平衡;

D O I：

暂无

中图分类号：

O153.2 [布尔代数];

学科分类号：

摘要：

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

引用

页码：216 / 218

页数：3