Title :
Multiple-valued logic functions represented by TSUM, TPRODUCT, NOT and variables
Author :
Hata, Yutaka ; Yamato, Kazuharu
Author_Institution :
Fac. of Eng., Himeji Inst. of Technol., Japan
Abstract :
A class of multiple-valued logic functions (TO-functions, for short) expressed by TSUM, TPRODUCT, NOT, and variables is introduced, where TSUM is defined as min (x+y, p-1) and TPRODUCT is redefined as the product that is derived by applying De Morgan´s laws to TSUM. It is shown that a set of TO-functions is not a lattice, and that in ternary logic TSUM can be expressed by Lukasiewicz implication, and NOT and its converse holds. It is known that a set of ternary TO-functions is not complete but complete with constants. Moreover, the set is equivalent to ternary functions satisfying normality and includes a set of B-ternary logic functions. For any radix, it is shown that a set of TO-functions is not complete but compete with constants and that the set includes B-multiple-valued logic functions. Moreover, some speculations of the number of TO-functions for less than ten radixes are derived
Keywords :
combinatorial circuits; many-valued logics; ternary logic; B-ternary logic functions; De Morgan´s laws; NOT; TPRODUCT; TSUM; logic functions; multiple-valued logic functions; Algebra; Charge coupled devices; Design methodology; Fuzzy logic; Lattices; Logic design; Logic functions; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
Conference_Location :
Sacramento, CA
Print_ISBN :
0-8186-3350-6
DOI :
10.1109/ISMVL.1993.289556