Compared to binary switching functions, the multiple-valued functions (MV) offer more compact representations of the information content of signals modeled by logic functions and, therefore, their use fits very well in the general settings of data compression attempts and approaches. The first task in dealing with such signals is to provide mathematical methods for their representation in a way that will make their application in practice feasible. Representation of Multiple-Valued Logic Functions is aimed at providing an accessible introduction to these mathematical techniques that are necessary for application of related implementation methods and tools. This book presents in a uniform way different representations of multiple-valued logic functions, including functional expressions, spectral representations on finite Abelian groups, and their graphical counterparts (various related decision diagrams). Three-valued, or ternary functions, are traditionally used as the first extension from the binary case. They have a good feature that the ratio between the number of bits and the number of different values that can be encoded with the specified number of bits is favourable for ternary functions. Four-valued functions, also called quaternary functions, are particularly attractive, since in practical realization within today prevalent binary circuits environment, they may be easy coded by binary values and realized with two-stable state circuits. At the same time, there is much more considerable advent in design of four-valued logic circuits than for other $p$-valued functions. Therefore, this book is written using a hands-on approach such that after introducing the general and necessarily abstract background theory, the presentation is based on a large number of examples for ternary and quaternary functions that should provide an intuitive understanding of various representation methods and the interconnections among them.
About the Author
Radomir S. Stankovic received a B.Sc. degree in Electronic Engineering from the faculty of Electronics, University of Ni, Serbia, in 1976, and M.Sc. and Ph.D. degrees in Applied Mathematics from the Faculty of Electrical Engineering, University of Belgrade, Serbia, in 1984 and 1986, respectively. Currently, he is a Professor at the Department of Computer Science, Faculty of Electronics, University of Ni, Serbia. In 1997, he was awarded by the Kyushu Institute of Technology Fellowship and worked as a visiting researcher at the Department of Computer Science and Electronics, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan. In 2000 he was awarded by the Nokia Visiting Researcher Fellowship by Nokia, Finland. Since 1999, he has worked in part at the Tampere International Center for Signal Processing, Department of Signal Processing, Faculty of Computing and Electrical Engineering, Tampere University of Technology, Tampere, Finland, where he is currently an adjunct professor. His research interests include switching theory, multiple-valued logic, spectral techniques, and signal processing."