逻辑代数PDF|Epub|txt|kindle电子书版本网盘下载

逻辑代数PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1篇 符号解析3

第1章 基本定义和基本恒等式3

1.1 逻辑代数中数的取值及其涵义3

1.2 逻辑代数的基本运算3

1.3 变量——自变量和因变量、正量和反量4

1.4 同一变量的基本恒等式4

1.5 交换律5

1.6 结合律5

1.7 分配律5

1.8 吸收律6

1.9 反演律7

第2章 逻辑代数式10

2.1 表达式·恒等式·条件等式·方程式10

2.2 表达式的几种形式10

2.3 表达式的各种运算11

2.4 有关表达式运算的几个基本定理11

2.5 有关表达式提元的几个基本定理15

2.6 两个表达式之间的关系18

第3章 表达式的运算23

3.1 还原23

3.2 化简23

3.3 反演25

3.4 析因27

3.5 插码析因29

3.6 求同31

3.7 正、反的改称31

3.8 真值表化简32

3.9 恒等式的证明35

第4章 公共项和公因式37

4.1 公共项和最多公共项（Dgx）37

4.2 关于最多公共项的定理37

4.3 公因式和最高公因式（Ggy）38

4.4 关于最高公因式的定理38

4.5 最多公共项与最高公因式的关系39

4.6 两式的最高公因式、最多公共项与两式的关系40

第5章 条件等式41

5.1 条件等式概述41

5.2 条件等式的求解41

5.3 条件等式解的讨论42

5.4 条件等式的构建43

5.5 条件等式的转换45

5.6 条件等式的证明46

5.7 等效的条件等式50

5.8 条件等式的联立51

第6章 方程式54

6.1 数比及其相关定理54

6.2 正变、反变及其相关定理54

6.3 方程式概说55

6.4 一元方程式的六种等效形式56

6.5 关于（X/f1）／f2=1中，f1与f2具有一定关系的定理56

6.6 独立的一元方程式的求解57

6.7 求解独立的一元方程式的一个法则57

6.8 独立的一元方程式的构建58

6.9 前倚的一元方程式的求解60

6.10 前倚的一元方程式的构建62

第7章 方程组64

7.1 方程组概述64

7.2 连续动作方程组的求解65

7.3 连续动作方程组的构建67

7.4 间歇动作方程组的求解68

7.5 间歇动作方程组的构建71

7.6 值变方程组概述74

7.7 值变方程组的求解74

7.8 值变方程组的构建75

第2篇 二值逻辑代数的图像79

第8章 镜像坐标及逻辑表达式的图像79

8.1 镜像坐标系统的形成79

8.2 镜像坐标系统的特点81

8.3 由表达式作图像83

8.4 由图像求表达式84

第9章 图像的运算85

9.1 图像运算的意义和内容85

9.2 用图像还原表达式85

9.3 用图像化简表达式85

9.4 用图像反演表达式86

9.5 用图像分解表达式86

9.6 用图像执行加法86

9.7 用图像执行乘法87

9.8 用图像执行混合运算87

9.9 用图像解条件等式88

9.10 用图像作条件等式88

9.11 用图像证明恒等式89

9.12 用图像求两表达式之间的关系89

9.13 用图像求最多公共项和最高公因式89

第10章 方程式的图解90

10.1 方程式图像的作法90

10.2 用图解法求解和构建独立方程式91

10.3 变量变化程序的图示91

10.4 用图解法求解前倚的一元方程式93

10.5 用图解法构建前倚的一元方程式94

10.6 用图解法求解连续动作方程组95

10.7 用图解法构建连续动作方程组96

10.8 用图解法求解间歇动作方程组98

10.9 用图解法构建间歇动作方程组100

10.10 用图解法求解值变方程组103

10.11 用图解法构建值变方程组105

第3篇 特殊函数109

第11章 桥式109

11.1 桥式的定义109

11.2 基本桥式的计算性质110

11.3 多路二段桥式的计算113

11.4 多段二路桥式的计算116

11.5 多路二段桥式和多段二路桥式间的反式定理117

11.6 多段二路桥式的计算118

11.7 桥式方程的求解120

11.8 桥式方程的构建123

第12章 排列式124

12.1 排列式的定义124

12.2 排列式的展开124

12.3 排列式的计算性质125

第13章 组合式127

13.1 组合式的定义127

13.2 组合式的展开127

13.3 联合组合式128

13.4 单个组合式的计算性质129

13.5 变量相同的各种组合式之间的关系130

13.6 组合式方程及其构造式130

第14章 数列132

14.1 数列的定义分类和记法132

14.2 值变数列与真值数列的互求133

14.3 值变数列的基本演算133

14.4 值变数列的联合演算134

14.5 值变数列组134

14.6 含有δ，ρ或？的方程式135

14.7 含有δ，ρ或？的方程组的求解136

第4篇 逻辑代数在电路中的应用141

第15章 电路的代数当量141

15.1 0和1的意义141

15.2 变量的意义141

15.3 加、乘和反演的意义142

15.4 几个一元基本公式的电路当量143

15.5 三种运算规律的电路解释143

15.6 多元基本公式的电路图表示145

15.7 几个反演律公式的应用说明147

15.8 各种形式的表达式的适用场合149

15.9 一元方程式的各种等效形式相当的电路151

15.10 各种方程式（组）的相当电路151

第16章 电路的表达和分析153

16.1 概述153

16.2 关于表达有触点电路的若干补充规定153

16.3 有触点电路分析实例154

16.4 关于表达无触点电路的规定157

16.5 无触点电路分析实例158

第17章 逻辑电路的设计164

17.1 概述164

17.2 组合逻辑电路设计164

17.3 继电型时序电路的设计170

17.4 用触发器构成的时序电路设计177

第5篇 解析逻辑——逻辑代数在逻辑学方面的应用第18章 概念和判断的数学表达185

18.1 概念的数学表达185

18.2 概念之间的关系188

18.3 判断的数学表达198

第19章 逻辑的数学运算方法205

19.1 逻辑推理205

19.2 逻辑证明206

19.3 三段论式的推广212

19.4 逻辑推理举例练习215

第20章 计算机辅助逻辑推理224

20.1 表达式的数字化224

20.2 由数值求表达式226

20.3 普遍适用的逻辑运算程序227

20.4 特定程序235

参考文献239

附录A 逻辑代数的基本公式240

附录B 常用的逻辑表达式定理241

附录C 传统逻辑学中的判断种类242

后记243