《布尔代数与逻辑设计》求取 ⇩

前言页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