《逻辑代数》

第一章　逻辑代数的基本知识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　基本的演绎推理系统P169

3　斜式证明与形式定理174

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

5　数学归纳法193

6　证明综述204

第八章　一般布尔代数211

1　布尔代数211

2　集合代数219

3　命题代数224

4　事件代数226

结束语232

参考文献234