Switching Machines: Volume 1: Combinational Systems Introduction to Sequential Systems [Paperback]

We shall begin this brief section with what we consider to be its objective. It will be followed by the main outline and then concluded by a few notes as to how this work should be used. Although logical systems have been manufactured for some time, the theory behind them is quite recent. Without going into historical digressions, we simply remark that the first comprehensive ideas on the application of Boolean algebra to logical systems appeared in the 1930's. These systems appeared in telephone exchanges and were realized with relays. It is only around 1955 that many articles and books trying to systematize the study of such automata, appeared. Since then, the theory has advanced regularly, but not in a way which satisfies those concerned with practical applications. What is serious, is that aside the books by Caldwell (which dates already from 1958), Marcus, and P. Naslin (in France), few works have been published which try to gather and unify results which can be used by the practis? ing engineer; this is the objective of the present volumes.1/Boolean Algebra.- 1.1. Introduction.- 1.2. Binary number systemscodes.- 1.3. Postulates and theorems of Boolean algebra.- 1.4. Boolean functions.- 1.5. Reduction of Boolean functionsMap representation.- 1.6. Reduction of Boolean functions (continued)McCluskey-Quine method.- 1.7. Reduction of functions containing dont care terms.- 1.8. Factorization of Boolean functions.- 1.9. Conclusions.- Appendixes.- Exercises.- 2/Practical Realization of Logical Functions.- 2.1. Introduction.- 2.2. Elementary notions.- 2.3. The relay.- 2.4. Electronic circuitsPositive and negative logics.- 2.5. Diode circuits.- 2.6. Transistor circuits.- 2.7. Flip-flop and memory transistorized logics.- 2.8. Tunnel Diodes.- 2.9. Magnetic circuits.- 2.10. Cryotrons.- 2.11. Fluidic logic.- 2.12. Integrated circuits.- 2.13. Logical simulators.- Exercises.- 3/Combinational Systems.- 3.1. Introduction.- 3.2. Boolean algebra and technology.- 3.3. Combilóq