Issue No. 12 - December (1971 vol. 20)
S.S. Yau , IEEE
An algorithm for identifying all redundant variables of switching functions and an algorithm for identifying their symmetries (total or partial) are presented. Both algorithms are straightforward and very efficient. These algorithms are based on manipulating the binary and decimal number representations of the minterms of the switching function under testing.
Algorithms, binary and decimal number representations of minterms, identification, partial or total symmetry, redundant variables, switching functions.
S.S. Yau, Y.S. Tang, "On Identification of Redundancy and Symmetry of Switching Functions", IEEE Transactions on Computers, vol. 20, no. , pp. 1609-1613, December 1971, doi:10.1109/T-C.1971.223183