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
Link To Document :
بازگشت