Using Fired Polarity Reed-Muller Forms in Boolean Equivalence
-
Graphical Abstract
-
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.
-
-