Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to configure a truth vector into a XOR function is realized. There is no variable number limitation for this algorithm.
Green D H.Families of Reed-Muller canonical forms[J].International Journal of Electronics,1991,70(3):259~280.
[3]
Fei Benchu,Hong Qinhua,Zhuang Nan.Calculation of ternary mixed polarity function vector[A].In:Proceedings of the 23th International Symposium on Multiple-valued Logic[C],Sacramento California,IEEE Computor Society,1993,236~238.