Multiple-Valued Logic Design: an IntroductionMultiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced by more 200 explanatory diagrams and circuits, hardware and software applications with supporting PASCAL programming, and comprehensive exercises with even-numbered answers for every chapter. Requiring introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory, Multiple-Valued Logic Design: An Introduction is an ideal book for courses not only in logic design, but also in switching theory, nonclassical logic, and computer arithmetic. Computer scientists, mathematicians, and electronic engineers can also use the book as a basis for research into multiple-valued logic design. |
Contents
Logic tables and switching functions | 12 |
Venn diagrams Karnaugh maps Hasse | 53 |
Post algebras | 124 |
SubPost algebras double Heyting algebras | 154 |
Arithmetic operations | 171 |
Finite state diagrams | 205 |
Axiomatic propositional calculi | 254 |
Special functions | 266 |
Special applications | 300 |
Answers to evennumbered exercises | 327 |
| 350 | |
| 359 | |
Other editions - View all
Common terms and phrases
3-stable device 3-valued decisive a v b A₁ A₂ adder algebra of order assigned balanced ternary binary C₁ C₁(X C₁(Y C₂(X C₂(Y Chapter Co(X Co(y commutative ring complemented element conjunction conjunctive-i-player corresponding D₁(x decisive implication denoted digit disjunction distributive lattice e₁ E₂ entries example fdnf finite flip-flop follows FSD for Job fundamental symmetric functions given Hasse diagrams Hence Heyting algebra integer K-map Karnaugh maps Kleene algebra LFSR logic circuit logic design logic equations minimum number minimum-state FSD mixed radix monotone increasing n-valued functions number system operations OR-gate output P-algebra polynomial poset positive function possible positions Post algebra Postian function prime ideals primitive polynomial primitive terms Proof propositional calculus provable formula quaternary result ring rows Section shown in figure simplified sub-Post algebra subsection T₁ tautology ternary Theorem threshold function values variables Venn diagram voltage well-formed formulas wxyz x₁