Title :
On the properties of multiple-valued functions that are symmetric in both variable values and labels
Author :
Butler, Jon T. ; Sasao, Tsutomu
Author_Institution :
Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
Functions that are symmetric in both variable labels and variable values are useful as benchmarks for logic minimization algorithms. The present the properties of such functions, showing that they are isomorphic to partitions on n (the number of variables) with no part greater than r (the number of logic values). From this, we enumerate these functions. Further we derive lower bounds, upper bounds, and exact values for the number of prime implicants in the minimal sum-of-products expressions for certain subclasses of these functions
Keywords :
minimisation of switching nets; multivalued logic; labels; logic minimization; minimal sum-of-products; minimization; multiple-valued functions; multiple-valued logic; prime implicants; symmetric functions; value symmetric functions; variable symmetric functions; variable values; Logic; Minimization methods; Partitioning algorithms; Upper bound;
Conference_Titel :
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
Conference_Location :
Fukuoka
Print_ISBN :
0-8186-8371-6
DOI :
10.1109/ISMVL.1998.679299
