Multiple-valued logic functions represented by TSUM, TPRODUCT, NOT and variables

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.<<ETX>>

[1]  Gw Dueck,et al.  A direct cover MVL minimization using the truncated sum , 1987 .

[2]  Masao Mukaidono.  The B-ternary logic and its applications to the detection of hazards in combinational switching circuits , 1978, MVL '78.

[3]  J. Muzio,et al.  Multiple-valued switching theory , 1985 .

[4]  Didier Dubois,et al.  Fuzzy sets and systems ' . Theory and applications , 2007 .

[5]  Tsutomu Sasao.  Multiple-valued logic and optimization of programmable logic arrays , 1988, Computer.

[6]  Jon T. Butler,et al.  On the Size of PLA's Required to Realize Binary and Multiple-Valued Functions , 1989, IEEE Trans. Computers.

[7]  J. Berman,et al.  Enumerating fuzzy switching functions and free kleene algebras , 1984 .

[8]  Abraham Kandel,et al.  On Minimization of Fuzzy Functions , 1973, IEEE Transactions on Computers.

[9]  N. Rescher.  Many Valued Logic , 1969 .

[10]  D. Rine,et al.  B-ternary logic and evaluation of binary logic programs , 1988, [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic.

[11]  Peter N. Marinos.  Fuzzy Logic and its Application to Switching Systems , 1969, IEEE Transactions on Computers.

[12]  Gerhard W. Dueck,et al.  Multiple-valued programmable logic array minimization by simulated annealing , 1992, [1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic.

[13]  Jon T. Butler,et al.  HAMLET-an expression compiler/optimizer for the implementation of heuristics to minimize multiple-valued programmable logic arrays , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.