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

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

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

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

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

變量A的取值只能為0或?yàn)?，分別代入驗(yàn)證。

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

三、摩根定律

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

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