Reed-Muller weight and literal vectors for NPN classification
Chip-Hong Chang, B.J. Falkowski · 2003
In this paper, we have proven by using the subnumber operation that the Reed-Muller weight and literal vectors fully classify Boolean functions in the NP equivalent class and NPN equivalent class, respectively. The presented proof leads to applications in technology mapping and design with Universal Logic Modules.