邏輯代數亦稱為布爾代數，其基本思想是英國數學家布爾於1854年提出的。1938年，香農把邏輯代數用於開關和繼電器網絡的分析、化簡，率先將邏輯代數用於解決實際問題。經過幾十年的發展，邏輯代數已成為分析和設計邏輯電路不可缺少的數學工具。
邏輯代數提供了一種方法，即使用二值函數進行邏輯運算，這樣
，一些用語言描述顯得十分複雜的邏輯命題，使用數學語言後，就變成了簡單的代數式。邏輯電路中的一個邏輯命題，不僅包含肯定和否定兩重含義，而且包含條件與結果許多種可能的組合。比如，一個３輸入端的與非門存在著輸入與輸出狀態的八種可能的組合。用語言描述既嚕嗦又不清晰，用真值表則一目了然，而用代數式L＝ABC表達就更為簡明。
邏輯代數有一系列的定律和規則，用它們對數學表達式進行處理
，可以完成對電路的化簡、變換、分析和設計。
表中的基本定律是根據邏輯加、乘、非三種基本運算法則，推導出的邏輯運算的一些基本定律。
對於表中所列的定律的證明，最有效的方法就是檢驗等式左邊的函數與右邊函數的真值表是否吻合。
例如，要證明A＋A=A時，可按照下面的步驟進行證明：
1. 令A＝1，則A＋A＝l＋l＝l＝A；
2. 令A＝0，則A＋A＝0＋0＝0＝A；
除此之外，別無其他可能，可見A＋A＝A。
恆等式可以用其他更基本的定律加以證明，我們來證明其中的第一條，即
證明如下：
在以上所有定律中，反演律具有特殊重要的意義。反演律又稱為摩根定律，它經常用於求一個函數的非函數或者對邏輯函數進行變換
。
例1：證明反演律(摩根定律)成立
證明：
因為「輸入都是１時,輸出才是１」同「輸入有０時,輸出為０」在邏輯上是等效的,這種等效關係可寫成
本節所列出的基本公式反映了邏輯關係，而不是數量之間的關係
，在運算中不能簡單套用初等代數的運算規則。如初等代數中的移項規則就不能用，這是因為邏輯代數中沒有減法和除法的緣故。這一點在使用時必須注意。
二、邏輯代數的基本規則
1.代入規則
在任何一個邏輯等式中，如果將等式兩邊出現的某變量A ，都用一個函數代替，則等式依然成立，這個規則稱為代人規則。
例如 ，在B(A＋C)＝BA＋BC中 ，將所有出現A的地方都代以函數A＋D,則等式仍成立，即得B[(A＋D)＋C]＝B(A＋D)＋BC＝BA＋BD＋BC
代人規則可以擴展所有基本定律的應用範圍。
2.反演規則
根據摩根定律，求一個邏輯函數Ｌ的非函數時，可以將Ｌ中的與（·）換成或（＋），或（＋）換成與（·）；再將原變量換為非變量（如Ａ換成），非變量換為原變量；並將1換成0，0換成1；那麼所得邏輯函數式就是。這個規則稱為反演規則。
注意，交換時要保持原式中的先後順序，否則容易出錯。
例如，求的非函數時，按照上述法則 ，可得，不能寫成。
運用反演規則時必須注意兩點：
（1）保持原來的運算優先順序，即如果在原函數表達式中,AB之間先運算，再和其他變量進行運算，那麼非函數的表達式中，仍然是AB之間先運算。
（2）對於反變量以外的非號應保留不變。
3.對偶規則
L是一個邏輯表達式，如把L中的與（·）換成或（＋）,或（＋）換成與（·）；1換成0，0換成1，那麼就得到一個新的邏輯函數式，這就是L的對偶式，記作L。
例如，，則。變換時仍需注意保持原式中先與後或的順序。
所謂對偶規則，是指當某個邏輯恆等式成立時，則其對偶式也成立。
利用對偶規則，可從已知公式中得到更多的運算公式。
例如，吸收律成立，則它的對偶式也是成立的。
三、邏輯函數的代數變換與化簡法
在第１章，曾經通過列寫真值表，得到了樓梯照明燈控制的邏輯表達式，它是一個同或函數。那麼 ，對應唯一的真值表，邏輯函數表達式和實現它的邏輯電路是不是唯一的呢？下面就討論這個問題。
1.邏輯函數的變換
例：函數對應的邏輯圖如下圖所示。利用邏輯代數的基本定律對上述表達式進行變換。
解：
結果表明，圖示電路也是一個同或門。
例：求同或函數的非函數。
解：
這個函數稱為異或函數，它表示當兩個輸入變量取值相異（一個為0，另一個為1）時，輸出函數值為1。
在MOS門電路中 ，我們已接觸過異或門，上面的推導更明確地告訴我們，異或門和同或門互為非函數。所以在異或門電路的輸出端再加一級反相器，也能得到同或門，如下圖所示。
至此，我們已經學到了不止一種同或函數，但是同或函數的真值表卻是唯一的，事實上還可以列舉許多。由此可以得出結論：一個特定的邏輯問題，對應的真值表是唯一的，但實現它的電路多種多樣。這給設計電路帶來了方便，當我們手頭缺少某種邏輯門的器件時，可以通過函數表達式的變換，避免使用這種器件而改用其他器件。這種情形在實際工作中常會遇到。
2.邏輯函數的化簡
根據邏輯表達式，可以畫出相應的邏輯圖。但是直接根據某種邏輯要求而歸納出來的邏輯表達式及其對應的邏輯圖，往往並不是最簡的形式，這就需要對邏輯表達式進行化簡。
一個邏輯函數可以有多種不同的邏輯表達式，如與—或表達式、或—與表達式、與非—與非表達式、或非—或非表達式以及與—或—非表達式等。
以上五個式子是同一函數不同形式的最簡表達式。以下將著重討論與或表達式的化簡，因為與或表達式易於從真值表直接寫出，且只需運用一次摩根定律就可以從最簡與或表達式變換為與非一與非表達式，從而可以用與非門電路來實現。
最簡與或表達式有以下兩個特點：
①與項（即乘積項）的個數最少。
②每個乘積項中變量的個數最少。
代數法化簡邏輯函數是運用邏輯代數的基本定律和恆等式進行化簡，常用下列方法：
① 並項法
② 吸收法
③ 消去法
④ 配項法
使用配項的方法要有一定的經驗，否則越配越繁。通常對邏輯表達式進行化簡，要綜合使用上述技巧。以下再舉幾例。
例1
解：
例2