逻辑代数PDF电子书下载

第一章 集合代数 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