Multiple-valued logic design: an introduction
George Epstein · 2017
Preface. The digital theme. Logic tables and switching functions. Visualizations: Venn diagrams, Karnaugh maps, Hasse diagrams from logic tables to lattices. Post algebras. Sub-post algebras double Heyting algebras. Arithmetic operations. Finite state diagrams. Axiomatic propositional calculi. Special functions. Special applications. Answers to even-numbered exercises. References. Index.