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