Title :
Multivariable symmetries and their detection
Author :
Muzio, J.C. ; Miller, D.M. ; Hurst, S.L.
Author_Institution :
University of Victoria, Department of Computer Science, Victoria, Canada
fDate :
9/1/1983 12:00:00 AM
Abstract :
An extension of the symmetries of two variables to multivariable symmetries is given, together with a derivation of spectral conditions for their detection. This also yields simpler expressions for Hurst´s conditions for two-variable symmetries. The results are all extended to include incompletely specified functions. The method is illustrated for designing an eight-variable checker circuit using read-only memories.
Keywords :
Boolean functions; combinatorial switching; Boolean functions; Hurst´s conditions; ROM; eight-variable checker circuit; multivariable symmetries; spectral conditions; symmetry detection;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings E
DOI :
10.1049/ip-e.1983.0032