| The Algebra of Sets | p. 1 |
| Introduction | p. 1 |
| Element and set | p. 1 |
| The combination of sets | p. 3 |
| Venn diagrams | p. 5 |
| Fundamental laws | p. 7 |
| Expanding, factoring, and simplifying | p. 9 |
| Properties of set inclusion | p. 12 |
| Conditional equations | p. 15 |
| Solution of equations | p. 19 |
| The number of elements in a set | p. 20 |
| Boolean Algebra | p. 25 |
| Introduction | p. 25 |
| Preliminary definitions | p. 25 |
| Definition and properties of a Boolean algebra | p. 27 |
| Disjunctive normal form | p. 33 |
| Conjunctive normal form | p. 38 |
| Representation of a Boolean algebra | p. 41 |
| Symbolic Logic and the Algebra of Propositions | p. 43 |
| Introduction | p. 43 |
| Propositions and definitions of symbols | p. 43 |
| Truth tables | p. 47 |
| Object logic and syntax logic | p. 52 |
| Material implication | p. 52 |
| Truth sets for propositions | p. 56 |
| Quantifiers | p. 59 |
| Valid arguments | p. 61 |
| Indirect proofs | p. 66 |
| Functionally complete sets of operations | p. 68 |
| Special problems | p. 70 |
| Switching Algebra | p. 75 |
| Introduction | p. 75 |
| Definition of the algebraic symbols | p. 75 |
| Simplification of circuits | p. 79 |
| Non-series-parallel circuits | p. 83 |
| Design of circuits from given properties | p. 90 |
| Design of n-terminal circuits | p. 94 |
| Symmetric functions and their circuits | p. 99 |
| Relay Circuits and Control Problems | p. 104 |
| Introduction | p. 104 |
| Basic relay control paths | p. 106 |
| n-terminal circuits and the uses of transfer contacts | p. 110 |
| Operate and hold paths | p. 116 |
| Sequential circuits and sequence diagrams | p. 119 |
| Design of sequential relay circuits from given conditions | p. 124 |
| Special problems involving the design of relay circuits | p. 132 |
| Circuits for Arithmetic Computation | p. 135 |
| Introduction | p. 135 |
| The binary number system | p. 135 |
| Logical circuit elements | p. 138 |
| Addition of binary numbers | p. 142 |
| Subtraction of binary numbers | p. 145 |
| Accumulation | p. 147 |
| Binary multiplication | p. 150 |
| Introduction to Probability in Finite Sample Spaces | p. 153 |
| Introduction | p. 153 |
| Event, sample space, probability | p. 153 |
| Conditional probability | p. 157 |
| Some aids to counting | p. 160 |
| Bernoulli trials, binomial distribution | p. 163 |
| Answers to Selected Problems | p. 168 |
| Index | p. 179 |
| Table of Contents provided by Ingram. All Rights Reserved. |