逻辑代数

　　第1篇  符号解析
　　第1章  基本定义和基本恒等式
　　第2章  逻辑代数式
　　第3章  表达式的运算
　　第4章  公共项和公因式
　　第5章  条件等式
　　第6章  方程式
　　第7章  方程组
　　第2篇  二值逻辑代数的图像
　　第8章  镜像坐标及逻辑表达式的图像
　　第9章  图像的运算
　　第10章  方程式的图解
　　第3篇  特殊函数
　　第11章  桥式
　　第12章  排列式
　　第13章  组合式
　　第14章  数列
　　第4篇  逻辑代数在电路中的应用
　　第15章  电路的代数当量
　　第16章  电路的表达和分析
　　第17章  逻辑电路的设计
　　第5篇  解析逻辑——逻辑代数在逻辑学方面的应用
　　第18章  概念和判断的数学表达
　　第19章  逻辑的数学运算方法
　　第20章  计算机辅助逻辑推理
　　参考文献
　　附录A  逻辑代数的基本公式
　　附录B  常用的逻辑表达式定理
　　附录C  传统逻辑学中的判断种类
　　后记

　　本书从二值逻辑的基本定义出发，推演出二值逻辑的定理和公式，提出进行逻辑运算，建立和求解逻辑函数与逻辑方程的演算法则。创立桥式、排列式、组合式等二值逻辑的特殊函数，然后创立了一套与二值逻辑代数相对应的镜像坐标系统，并规定在镜像坐标系统中绘制逻辑代数式图像的方法和利用图像来进行各种演算的图解法。
　　在推演二值逻辑代数理论的基础上，本书给出逻辑代数在电路和逻辑学中的典型应用：举例说明逻辑代数的理论及镜像坐标在分析电路功能，进行电路设计，分析各种概念、判断及其相互关系，证明和扩充三段论的格式等方面的用途。同时，本书提出的镜像坐标系统等逻辑演算方法也为逻辑代数增添了一种新的有用工具。
　　本书可供从事数理逻辑、逻辑学、概率计算以及数字电路等方面的研究人员和工程师参考。