邏輯代數的基本定律和規則

2.3.2　邏輯代數的基本定律
一、與普通代數相似的定律
二、吸收律
三、摩根定律

2.3.3 邏輯代數的三個重要規則
一、代入規則
二、反演規則
三、對偶規則

作業： P23 2. 4.

2. 3 邏輯代數的基本定律和規則

2.3.1 邏輯代數的基本公式
一、邏輯常量運算公式
表2.3.1 邏輯常量運算公式

變量A的取值只能為0或為1，分別代入驗證。

2.3.2　邏輯代數的基本定律
邏輯代數的基本定律是分析、設計邏輯電路，化簡和變換邏輯函數式的重要工具。這些定律和普通代數相似，有其獨特性。
一、與普通代數相似的定律
表2.3.3　交換律、結合律、分配律與學生一同驗證以上四式。
第④式的推廣： （2.3.1）
由表2.3.4可知，利用吸收律化簡邏輯函數時，某些項或因子在化簡中被吸收掉，使邏輯函數式變得更簡單。

三、摩根定律

2.3.3 邏輯代數的三個重要規則
一、代入規則
對于任一個含有變量A的邏輯等式，可以將等式兩邊的所有變量A用同一個邏輯函數替代，替代后等式仍然成立。這個規則稱為代入規則。代入規則的正確性是由邏輯變量和邏輯函數值的二值性保證的。

若兩函數相等，其對偶式也相等。 （可用于變換推導公式）。
討論三個規則的正確性。