论文信息 - A necessary and sufficient condition for multiple-valued logical functions representable by AND, OR, NOT, constants, variables and determination of their logical formulae

A necessary and sufficient condition for multiple-valued logical functions representable by AND, OR, NOT, constants, variables and determination of their logical formulae

A necessary and sufficient condition is derived for p-valued logical functions representable by logical formulas built from variables, constants 0,1....p-1, and the logical operations AND, OR, and NOT (p-valued LR-functions). A method for determining a logical formula for p-valued LR-functions is presented. since the method deals only with 3/sup n/ input vectors, it gives the logical formulas easily.<<ETX>>

Kazuharu Yamato | K. Nakashima | Yutaka Hata | T. Sato

[1] Masao Mukaidono,et al. Meaningful Special Classes of Ternary Logic Functions - Regular Ternary Logic Functions and Ternary Majority Functions , 1988, IEEE Trans. Computers.

[2] Masao Mukaidono. Regular Ternary Logic Functions—Ternary Logic Functions Suitable for Treating Ambiguity , 1986, IEEE Transactions on Computers.

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

[4] T. Kitahashi,et al. Multiple-valued logical functions derived from two-valued input multiple-valued output functions , 1988, [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic.

[5] M. Mukaidono. A set of independent and complete axioms for a fuzzy algebra (Kleene algebra) , 1981 .