一、集合代数 1
1 集合的定义和表示法 1
2 两集合间的关系 6
3 集合间的运算 8
4 集合运算的规律 12
5 集合代数的一些推导 16
6 应用 25
二、命题代数 37
7 命题 37
8 真值联结词 39
9 命题代数 43
10 蕴涵 47
11 命题演算(二值代数) 55
12 由前提所作出的推论 63
13 永真公式的公理系统 69
三、开关代数 75
14 开关与开关电路 75
15 开关电路的规律 81
16 二进制与三进制 85
17 线路的设计 102
18 线路简化的现行方法 111
19 三进双向简化法 123
20 卡诺图 127
21 具多余输入时的简化 135
22 多个输出的同时简化 141
23 数字电子计算机简介 146
四、对应与函数 156
24 对应 156
25 无穷集合 160
26 变数和函数 165
附录 习题、总复习题答案 176