Proceedings: The Twelfth International Symposium on Multiple-Valued Logic, May 25-27, 1982 |
Contents
A New Digital Image Processor Using MultipleValued Logic | 8 |
Algebra I | 21 |
Circuits and Technology II | 35 |
Copyright | |
16 other sections not shown
Common terms and phrases
3-valued algebra algorithm arithmetic basic binary Boolean Boolean algebra CL EQUAL CTL closed sets complete Computer connection graph consider corresponding current mirror decoding decomposition Deduction Theorem defined Definition demodulators denotes detection DNTCR elements EQUAL CTL DP2 equivalent example expression fault patterns Figure finite flip-flop formula full adder func function f fuzzy set fuzzy switching functions gate configurations given IEEE Trans implementation input variables L₂ Lemma logic circuits logic values many-valued matrix MESFET minimal multi-valued multiple multiple-valued logic n-tuple negation obtained operation output possible presupposition Proc processors Proof properties Proposition quaternary r-valued radix realized represented result shown in Fig signal structure subfunctions subset synthesis T-gate technique ternary ternary logic Theorem theory three-valued tion transistor truth functions truth table truth value TVFG's two-valued unary function Valued Logic vector voltage