逻辑代数PDF电子书下载

第一章　逻辑代数的基本知识 1

1　基本概念 1

2　运算规律 7

3　基本公式 15

4　逻辑式的转换定理 18

5　逻辑函数的完备性 26

第二章　逻辑式的范式和标准范式 32

1　逻辑式的范式 32

2　逻辑式的标准范式 35

3　标准范式定理 43

第三章　逻辑式化简 50

1　最简式概念 50

2　公式化简法 54

3　化简理论 62

4　图域化简法（几何化简法） 73

第四章　逻辑方程 86

1　基本概念 86

2　逻辑方程的解法 89

3　逻辑方程组的求解 97

4　逻辑方程的图域解法 102

第五章　开关代数 108

1　开关与开关线路 108

2　逻辑函数与逻辑线路 116

3　逻辑函数的完备性分析 131

第六章　命题真值代数 138

1　基本概念 138

2　蕴涵式与双蕴涵式 148

3　全称命题与特称命题 157

第七章　命题逻辑 166

1　推理 166

2　基本的演绎推理系统P 169

3　斜式证明与形式定理 174

4　扩大的演绎推理系统P＊ 184

5　数学归纳法 193

6　证明综述 204

第八章　一般布尔代数 211

1　布尔代数 211

2　集合代数 219

3　命题代数 224

4　事件代数 226

结束语 232

参考文献 234