2.逻辑函数 基本公式 0·0= 0+0=0 0+1=1 l=0 0·1 1+0=1 0=1 1+1=1 1·0= 逻辑变量与常量的运算公式 0+A=A 1+A=1A+A=AA+4= 1·A=AA·A=AA4=0 A=A 0·A=0
2．逻辑函数 1．基本公式 逻辑变量与常量的运算公式 0 ·0 = 0 0 ·1 = 0 1 ·0 = 0 1 ·1 = 1 0 + 0 = 0 0 + 1 = 1 1 + 0 = 1 1 + 1 = 1 0 – 1 律 重迭律 互补律 还原律 0 + A = A 1 + A = 1 1 · A = A 0 · A = 0 A + A = A A · A = A
交换律A+B=B+A A·B=B·A 结合律(A+B)+C=A+(B+O(A·B)·C=A·(B·O 配律A(B+O=AB+ACA+BC=(4+B)4O 吸收律AB+A=44+AB=+BA+AB=A AB+AC+BC=AB+AC AB+ AC+ BC-AB+AC+ BC(A+A) AB+A C+ABC+ABC AB(1+C)+AC(1+B) AB+AC
交换律 A + B = B + A A · B = B · A 结合律 (A + B) + C = A + (B + C) (A · B) · C = A · (B · C) 分配律 A (B + C) = AB + AC A + BC = (A + B) (A + C) 吸收律 A + AB = A
(2)基本定 理 代入定理 将逻辑等式两边的某一变量均用同 个逻辑函数替代,等式仍然成立。 米A+AB=+B A均用代替一团+4B=+B A均用Ce代替→CeD+CeDB=CD+B B均用C代替=A+4C=+l
（2）基本定 理 代入定理 A A A A均用 代替 A均用 代替 B均用C代替 将逻辑等式两边的某一变量均用同 一个逻辑函数替代，等式仍然成立
反演定理 对任一个逻辑函数式Y,将“”换成 “+”,“+”换成“ “0”换成“1 “1”换成“0”,原变量换成反变量,反变量 换成原变量,则得到原逻辑函数的反函数。 变换时注意: (1)不能改变原来的运算顺序。 (2)反变量换成原变量只对单个变量有效,而长非 号保持不变。 米P4B+C+CD (A+B. C) (C+D 原运算次序为
变换时注意： (1) 不能改变原来的运算顺序。 (2) 反变量换成原变量只对单个变量有效，而长非 号保持不变。 原运算次序为 反演定理 对任一个逻辑函数式Y，将“·”换成 “+”，“+”换成“·”，“0”换成“1” ， “1”换成“0”，原变量换成反变量，反变量 换成原变量，则得到原逻辑函数的反函数 Y