Title :
A Note on Minimal Reed-Muller Canonical Forms of Switching Functions
Author :
Kodandapani, K.L. ; Setlur, Rangaswamy V.
Author_Institution :
Department of Computer Science, University of Regina
fDate :
3/1/1977 12:00:00 AM
Abstract :
A nonexhaustive procedure for obtaining minimal Reed-Muller canonical (RMC) forms of switching functions is presented. This procedure is a modification of a procedure presented earlier in the literature and enables derivation of an upper bound on the number of RMC forms to be derived to choose a minimal one. It is shown that the task of obtaining minimal RMC forms is simplified in the case of symmetric functions and self-dual functions.
Keywords :
Influence vector, minimal Reed-Muller canonical (RMC) forms, nonexhaustive procedures, self-dual functions, symmetric functions.; Automation; Computer science; Upper bound; Influence vector, minimal Reed-Muller canonical (RMC) forms, nonexhaustive procedures, self-dual functions, symmetric functions.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1977.1674830
