第一章 集合代数 1
1集合的概念 1
2集合的并、交、补运算 7
3包含 11
4差和对称差 12
5直积集 17
习题一 20
第二章 布尔代数的公理系统 26
1公理系 26
2布尔代数的其他性质 27
3公理系的独立性 35
4公理系的完备性 37
5布尔同构和布尔同态 40
习题二 45
第三章 命题代数和逻辑推理 49
1命题代数 49
2蕴涵 52
3真值函数 56
4等值 59
5重言式 61
6推理的形式结构 64
7命题演算的出发点 69
8定理的推演 74
9求否定规则、对偶规则 84
10命题演算的完全性 86
11公理系统的独立性 90
12命题演算的一致性 93
习题三 95
第四章 开关代数 100
1开关与开关代数 100
2各种进位制 107
3各种进位制数之间的转换 117
4开关函数 128
5开关函数的完全性与标准形式 130
6公式化简法 131
7从范式出发化简开关函数的一般方法 135
8用卡诺（karnangh）图化简开关函数 157
9根据给定条件实现开关函数 166
10线路的设计 175
11具有“约束”的开关函数的化简 187
习题四 193
第五章 真值方程 203
1基本概念 203
2 真值方程 212
习题五 223
第六章 格 227
1关系 227
2有序集 229
3链 231
4上界与下界 232
5格 234
6布尔代数 239
7理想 241
习题六 245