DocumentCode :
2137223
Title :
The deepest repetition-free decompositions of nonsingular functions of finite-valued logics
Author :
Sokhatsky, Fedir
Author_Institution :
Dept. of Algebra, Pedagogical Inst., Vinnyteia, Ukraine
fYear :
1996
fDate :
29-31 May 1996
Firstpage :
279
Lastpage :
282
Abstract :
A superposition is called repetition-free if every variable appears in it at most once. Two terms are said to almost coincide if the second term can be obtained from the first one in a finite number of steps: isotopy change, commutation change and associative change. The main result: every two deepest repetition-free decompositions of a nonsingular function of a finite-valued logics almost coincide. As a corollary we have the corresponding Kuznetaov´s results for Boolean functions and Sosinsky´s result for functions of three-valued logics
Keywords :
Boolean functions; multivalued logic; Boolean functions; associative change; commutation change; finite-valued logics; isotopy change; nonsingular functions; repetition-free; three-valued logics; Algebra; Boolean functions; Logic functions;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location :
Santiago de Compostela
ISSN :
0195-623X
Print_ISBN :
0-8186-7392-3
Type :
conf
DOI :
10.1109/ISMVL.1996.508368
Filename :
508368
Link To Document :
بازگشت