第一章 逻辑代数 1
1.1 真值函数运算 1
1.2 联结词 4
1.3 语句式 5
1.4 括号 5
1.5 真值表 6
1.6 重言式和矛盾式 8
1.7 逻辑蕴涵和逻辑等价 11
1.8 析取范式 15
1.9 联结词完全组 19
第二章 集合代数 39
2.1 集合 39
2.2 集合的相等和包含、子集 40
2.3 空集、子集合的数目 41
2.4 并 42
2.5 交 43
2.7 全集、补 45
2.6 差和对称差 45
2.8 集合关系的推导 47
2.9 命题逻辑和集合代数 49
2.10 有序对、映射 49
2.11 有穷集、无穷集、可列集和可数集 51
2.12 集域 52
2.13 有穷集的元素个数 53
第三章 布尔代数 68
3.1 运算 68
3.2 布尔代数公理 68
3.3 子代数 75
3.4 偏序 77
3.5 布尔表达式和布尔函数、范式 80
3.6 同构 83
3.7 布尔代数和命题逻辑 86
第四章 开关电路和逻辑电路 96
4.1 开关电路 96
4.2 电路的简化 97
4.3 桥式电路 100
4.4 逻辑电路 101
4.5 二进位数制 103
4.6 多输出逻辑电路 104
4.7 极小化 106
4.8 无关条件 109
4.9 极小析取范式 111
4.10 素项 111
4.11 求全体素项的蒯因-麦克拉斯基（Quine-McCluskey）方法 113
4.12 素项表 118
4.13 有无关条件的极小化问题 125
4.14 一致法求素项 127
4.15 一致法求极小析取范式 130
4.16 卡诺（Karnaugh）图 134
4.17 有无关条件的卡诺图 140
4.18 极小范式 141
5.1 格 170
第五章 布尔代数续论 170
5.2 原子 173
5.3 对称差、布尔环 176
5.4 另一公理系统 182
5.5 理想 186
5.6 商代数 190
5.7 布尔表示定理 193
5.8 无穷交和无穷并 195
5.9 对偶性 197
5.10 无穷分配性 198
5.11 m—完备性 201
附录A 括号的省略 249
附录B 无括号表示法 256
附录C 选择公理蕴涵曹恩（Zorn）引理 260
附录D 薛德尔—伯恩斯泰因（Schr？der-Bernstein）定理的格论证明 263
书目 265
中英名词索引 282
符号和缩写 292