第二章-清华教学课件.pptVIP

第二章 逻辑代数及其应用 2.1 逻辑代数的基本公式和导出公式 基本概念 逻辑：事物的因果关系 逻辑运算的数学基础：逻辑代数 在二值逻辑中的变量取值： 0/1 2.1.1 逻辑代数的三种基本运算 与（AND） 或（OR） 非（NOT） 与 条件同时具备，结果发生 Y=A AND B = AB=A·B=AB 或 条件之一具备，结果发生 Y= A OR B = A+B 非 条件不具备，结果发生 几种常用的复合逻辑运算 与非 或非 与或非 几种常用的复合逻辑运算 异或 Y= A ? B 几种常用的复合逻辑运算 同或 Y= A ⊙B 2.1.2 基本公式和若干导出公式 基本公式 导出公式 基本公式 根据与、或、非的定义，得表2.1.4的逻辑代数的基本公式 公式（8a）的证明（真值表法）： 常用的导出公式 公式（12a）的证明（公式推导）： 2.2 代入定理及其应用 代入定理 ------在任意一个包含变量A的等式中，若用任何一个逻辑式代替等式中的A，则等式仍然成立。 代入定理 应用举例： 式（8a） (AB)′= A′+B′