## 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Logic tables and switching functions | 12 |

Venn diagrams Karnaugh maps Masse | 53 |

Post algebras | 124 |

SubPost algebras double Hey ting algebras | 154 |

Arithmetic operations | 171 |

Finite state diagrams | 205 |

Axiomatic prepositional calculi | 254 |

Special functions | 266 |

Special applications | 300 |

Answers to evennumbered exercises | 327 |

350 | |

359 | |

### Common terms and phrases

3-stable device 3-valued function a v b adder algebra of order array assigned balanced ternary binary bounded distributive lattice Chapter column commutative ring complemented element conjunction conjunctive-i-player Consider corresponding decisive implication Definition 4.9 denoted digit disjunction distributive lattice entries Epstein and Horn example fdnf flip-flops follows FSD for Job fundamental symmetric functions given Hasse diagrams Hence Heyting algebra implicational calculus integer intuitionist implication K-map Karnaugh maps Kleene algebra LFSR logic circuit logic design logic equations minimum number minimum-state FSD mixed radix n-valued n-valued decisive number system output P-algebra players poset positive function possible positions Post algebra Postian function prime ideals primitive polynomial primitive terms Proof propositional calculus provable formula quaternary result rows satisfying Section shown in figure sub-Post algebra subsection tautology ternary Theorem threshold function unate function V-property values variables Venn diagram well-formed formulas wxyz v wxyz x v y

### Popular passages

Page 352 - Symp. Multiple-Valued Logic. Logan. Utah: 142-149. 9. EPSTEIN. G., G. FRIEDER & DC RINE. 1974. The development of multiple-valued logic as related to computer science. Computer 9: 20-32. 10. EPSTEIN, G. & A. HORN. 1974. Chain-based lattices. Pacific J. Math. 55(1): 65-84.

Page 352 - G. Epstein, An equational axiomatization for the disjoint system of Post algebras, IEEE Trans.