• DocumentCode
    1852255
  • Title

    ϵ-bases of triadic logic operations

  • Author

    Pogosyan, Grant ; Nakamura, Takashi

  • Author_Institution
    Dept. of Math. & Inf. Sci., Int. Christian Univ., Tokyo, Japan
  • fYear
    1998
  • fDate
    27-29 May 1998
  • Firstpage
    251
  • Lastpage
    256
  • Abstract
    Basis is a functionally complete set of logic functions that contains no complete proper subset. Efficiently irreducible generating set, termed ε-basis, is an irreducible set of generators which guarantees an optimal implementation of every function, with respect to the number of literals in its formal expression. The notion of ε-basis is significant in the composition of functions, since the classical definition of basis does not consider the efficiency of implementation. In case of two-valued functions, an ε-basis consists of all unary function, constants, and only two binary functions which are freely chosen from certain classes. In this note, expanding the domain of basic operation from dyadic to triadic, we study the efficiency of sets of 3-input gates as basic operations. This expansion, evidently, induces a decrease of the complexity of functions (hence, the complexity of functional circuits to be designed). Gaining an evident merit in the complexity, we have to pay a price by considerably increasing the number of such generators for the multiple valued circuits. However, in the case of Boolean operations this number is still very small, and will certainly be useful to consider the approach in the practical circuit design. This note provides a criterion for the basic set of triadic operations to be efficiently irreducible. In the case of Boolean functions the five types of triadic operations which constitute an ε-basis are found and well classified. Finally, we show a typical example of generating set, which forms an ε-basis
  • Keywords
    Boolean functions; multivalued logic; ϵ-basis; Boolean functions; basis; complexity of functions; logic functions; triadic; triadic logic operations; Algebra; Assembly systems; Boolean functions; Circuit synthesis; Feedback circuits; Feedback loop; Information science; Joining processes; Logic functions; Mathematics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
  • Conference_Location
    Fukuoka
  • ISSN
    0195-623X
  • Print_ISBN
    0-8186-8371-6
  • Type

    conf

  • DOI
    10.1109/ISMVL.1998.679451
  • Filename
    679451