邏輯代數(shù)的基本定律和規(guī)則

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

2.3.3 邏輯代數(shù)的三個重要規(guī)則
一、代入規(guī)則
二、反演規(guī)則
三、對偶規(guī)則

作業(yè)： P23 2. 4.

2. 3 邏輯代數(shù)的基本定律和規(guī)則

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

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

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

三、摩根定律

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

若兩函數(shù)相等，其對偶式也相等。 （可用于變換推導(dǎo)公式）。
討論三個規(guī)則的正確性。