• 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