Title :
A necessary and sufficient condition for multiple-valued logical functions representable by AND, OR, NOT, constants, variables and determination of their logical formulae
Author :
Hata, Yuki ; Sato, Takashi ; Nakashima, Kyoichi ; Yamato, Kazuharu
Author_Institution :
Dept. of Electron. Eng., Himehi Inst. of Technol., Japan
Abstract :
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 3n input vectors, it gives the logical formulas easily
Keywords :
many-valued logics; AND; NOT; OR; logical formulae; multiple-valued logical functions; necessary and sufficient condition; p-valued LR-functions; Equations; Fuzzy logic; Multivalued logic; Sufficient conditions;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37819
