| 固定极Reed-Muller展开式在布尔函数等效性的应用 |
| |
| 引用本文： | 谭扬波,陈光. 固定极Reed-Muller展开式在布尔函数等效性的应用[J]. 电子科技大学学报(社会科学版), 1999, 0(2) |
| |
| 作者姓名： | 谭扬波 陈光 |
| |
| 作者单位： | 成都电子科技大学自动化系CAT室!610054 |
| |
| 摘 要： | 介绍了布尔函数的固定极Reed－Muller展开式（FPRM），通过FPRM展开式验证了布尔函数的等效性。该方法通过确定布尔函数中各变量的平衡得到布尔函数的极性。当布尔函数的极性确定后即可得到其FPRM展开式，使用该方法叶布尔函数的进行展开验证布尔等效性时，工作量将大为降低。
|
| 关 键 词： | FPRM展开式 布尔等效 固定极 平衡 |
Using Fired Polarity Reed-Muller Forms in Boolean Equivalence |
| |
| Tan Yangbo, Chen Guangju. Using Fired Polarity Reed-Muller Forms in Boolean Equivalence[J]. Journal of University of Electronic Science and Technology of China(Social Sciences Edition), 1999, 0(2) |
| |
| Authors: | Tan Yangbo Chen Guangju |
| |
| Abstract: | 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. |
| |
| Keywords: | fixed polarity Reed-Muller form: boolean equivalence: fixed polarity: balance |
| 本文献已被 CNKI 等数据库收录！ |
