本書從二值邏輯的基本定義出發(fā),推演出二值邏輯的定理和公式,提出進行邏輯運算,建立和求解邏輯函數(shù)與邏輯方程的演算法則.創(chuàng)立橋式、排列式、組合式等二值邏輯的特殊函數(shù),然后創(chuàng)立了一套與二值邏輯代數(shù)相對應的鏡像坐標系統(tǒng),并規(guī)定在鏡像坐標系統(tǒng)中繪制邏輯代數(shù)式圖像的方法和利用圖像來進行各種演算的圖解法?!≡谕蒲荻颠壿嫶鷶?shù)理論的基礎上,本書給出邏輯代數(shù)在電路和邏輯學中的典型應用:舉例說明邏輯代數(shù)的理論及鏡像坐標在分析電路功能,進行電路設計,分析各種概念、判斷及其相互關系,證明和擴充三段論的格式等方面的用途.同時,本書提出的鏡像坐標系統(tǒng)等邏輯演算方法也為邏輯代數(shù)增添了一種新的有用…… 本書可供從事數(shù)理邏輯、邏輯學、概率計算以及數(shù)字電路等方面的研究人員和工程師參考。