Title :
Logical not polynomial forms to represent multiple-valued functions
Author :
Zaitseva, Elena N. ; Kalganova, Tatyana G. ; Kochergov, Eygeny G.
Author_Institution :
Dept. of Inf. Technol., Byelorussian State Econ. Univ., Minsk, Byelorussia
Abstract :
The synthesis of logical not polynomial forms to represent completely and incompletely defined multiple-valued logic functions is proposed. To compute these forms, discrete orthogonal transforms are used. The matrix and vector procedures are the foundation of the logic not polynomial form synthesis to represent multiple -valued functions. The main advantage of this forms is the possibility to investigate the properties of multiple-valued logical functions and to use the implementation of fast discrete orthogonal transforms for computation of analytical description coefficients. Genetic algorithms are applied to synthesize incompletely defined multiple valued functions
Keywords :
genetic algorithms; multivalued logic; discrete orthogonal transforms; fast discrete orthogonal transforms; genetic algorithms; logical not polynomial forms; matrix procedures; multiple-valued functions; vector procedures; Algebra; Arithmetic; Discrete transforms; Galois fields; Information technology; Logic functions; Polynomials; Signal processing algorithms; Signal synthesis; US Department of Transportation;
Conference_Titel :
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location :
Santiago de Compostela
Print_ISBN :
0-8186-7392-3
DOI :
10.1109/ISMVL.1996.508378