1997 27th International Symposium on Multiple-Valued Logic: May 28-30, 1997, Antigonish, Nova Scotia, Canada : Proceedings |
Contents
Decomposition | 11 |
Finding Composition Trees for MultipleValued Functions | 19 |
Functional Decomposition of MVL Functions Using MultiValued Decision Diagrams 22 | 27 |
Copyright | |
37 other sections not shown
Common terms and phrases
4-valued algebra algorithm applications array asynchronous asynchronous circuits binary Boolean functions bound set CCD circuits CMOS column Complex Hadamard composition tree Computer corresponding cubes current-mode cutting planes DD-cubes decision diagrams decomposition defined Definition denoted elements encoding enzyme transistor example expression fault Figure finite formula FUCHT func function f fuzzy gate Hadamard matrix Hadamard Transforms HEMT hyperclone hyperoperation IEEE implementation input variables integer ISOP KBMD Kleene language Lemma logic function logical values many-valued logic mapping matrix method minimal minterms MJ-STT multi-valued multi-valued logic multiple Multiple-Valued Logic MVL functions nodes operations output prime implicates problem Proc properties quantizer quaternary realized Reed-Muller expansions relations representation represented RTDs Sasao semantics set-valued functions shows signal simulation solution subset switching Table ternary logic Theorem tion transforms transistor TSUM UCHT ULGs universal literal V₁ vector voltage WSOP