当前位置：逻辑代数pdf电子书下载 > 数理化
- 作 者：廖祖纬，张锦文编著
- 出 版 社：北京：科学出版社
- 出版年份：1984
- ISBN：13031·2710
- 标注页数：234 页
- PDF页数：240 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源240 ≥234页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 逻辑代数的基本知识 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