Pk. Lui et Jc. Muzio, BOOLEAN MATRIX TRANSFORMS FOR THE MINIMIZATION OF MODULO-2 CANONICAL EXPANSIONS, I.E.E.E. transactions on computers, 41(3), 1992, pp. 342-347
Fast transforms for computing modulo-2 ring-sum canonical expansions o
f a Boolean function are described using Kronecker products of element
ary Boolean matrices. These transforms unify and generalize existing o
nes in the literature. Previous algorithms which employ such transform
s for finding a minimal fixed polarity expansion (FPE) are reviewed, a
nalyzed, and extended to a minimal fixed basis expansion (FBE).