前言页 1
一、形式逻辑与集代数及逻辑代数的关系 1
1.1 概念、外延及定义 2
1.2 集与集运算 5
1.3 集代数的定义 9
1.4 某些初等定理 13
1.5 判断、命题及逻辑运算 19
1.6 逻辑代数与集代数 23
1.7 归纳推理与演绎推理 30
二、开关代数 33
2.1 继电器开关 33
2.2 门电路 37
2.3 基本公式 41
2.4 初等定理 44
2.5 小项标准形与1值标准形 49
2.6 卡诺框与卡诺图 60
三、代数化简法 67
3.1 与或式的化简 67
3.2 或与式的化简 69
3.3 最简的与非-与非式的求法 71
3.4 最简的或非-或非式的求法 74
四、几何化简法 77
4.1 卡诺图的特点与化简 77
4.2 多输出的化简 84
4.3 有无关小项的开关函数的化简 89
4.4 化简为或与式的方法 92
4.5 关于卡诺框的画法 93
五、分组化简法 98
5.1 二进分组化简法 98
5.2 十进分组化简法 105
六、组合电路的设计方法 111
6.1 代数设计法 112
6.2 几何设计法 119
6.3 分组设计法 124
6.4 组合电路中的竞争 124
6.5 临界竞争的发现与消除 127
6.6 集成电路与完全性分析 130
七、时序电路的逻辑设计方法 134
7.1 时序电路的种类 135
7.2 各种触发器 138
7.3 同步时序电路的设计方法 147
7.4 脉冲型电路的逻辑设计 157
7.5 反馈延迟电路的逻辑设计 163
7.6 异步时序电路中的竞争 168
八、一般布尔代数 179
8.1 布尔代数的数学定义 180
8.2 初等定理 184
8.3 对偶定理 186
8.4 布尔函数与简单布尔函数 188
8.5 布尔格 193
8.6 原子代数 198
8.7 有限布尔代数的表示定理 203
8.8 子代数 207
8.9 自由代数 209
九、布尔方程 213
9.1 0-1布尔方程 215
9.2 1元布尔方程 218
9.3 相容性 222
9.4 逐次消元法 225
9.5 简单布尔方程 230
9.6 参数布尔方程 235
主要参考书目 250
名词索引 251