二、真值表 真值表是一种由逻辑变 ABC F 量的所有可能取值组合及其 000 001 对应的逻辑函数值所构成的 0100 表格 011 100 例如:函数F=AB+AC的 1011 1100 真值表如右所示: 111 0
二、真值表 真值表是一种由逻辑变 量的所有可能取值组合及其 对应的逻辑函数值所构成的 表格. 例如：函数 F=AB + AC 的 真值表如右所示： A B C F 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0
三、卡诺图 卡诺图是一种用图形描述逻辑函数的方法
三、卡诺图 卡诺图是一种用图形描述逻辑函数的方法
2.2逻辑代数的基本定理和规则 221基本定理 定理10+0=01+0=1 0+1=1 1+1=1 0·0=0 1.0=0 0·1=0 推论:1=00=1
2.2 逻辑代数的基本定理和规则 2.2.1 基本定理 定理1 0＋0＝0 1＋0＝1 0＋1＝1 1＋1＝1 0 0 ＝0 1 0 ＝0 0 1 ＝0 1 1 ＝1 推论： 1 = 0 0 = 1
定理2(重叠律)A+A=A A·A=A 定理3(吸收律)A+A·B=AA(A+B)=A 定理4(吸收律)A+4·B=A+BA(A+B)=A·B 定理5对合律)=A 定理6(德摩根定理)A+B=A·BA.B=A+B 定理7AB+AB=A (4+B)(A+B)=A 定理8(包含律)AB+AC+BC=AB+C
定理2(重叠律) A＋A＝A A A ＝A 定理3(吸收律) A＋A B＝A A ( A +B)＝A 定理4(吸收律) A＋A B＝A+B A ( A +B)＝A B 定理5(对合律) A＝A 定理6(德摩根定理)A＋B＝A B A B ＝A＋B 定理7 AB+AB＝A (A+B)(A+B)＝A 定理8(包含律) AB+AC+BC＝AB+AC
222逻辑代数的重要规则 代入规则 任何一个含有变量A的逻辑等式,如果将 所有出现A的位置都代之以同一个逻辑函数F, 则等式仍然成立。 例如:给定逻辑等式A(B+C)=AB+AC,若 用A+BC代替A,则该等式仍然成立,即: (A+BC(B+C=(A+BC)B+(A+ BC)C 由公理5(A+A=1)同样有等式 f(A1,A2,…,An)+f(4,A2,…,An)=
f (A1 , A2 , …, An )＋f (A1 , A2 , …, An )＝1 2.2.2 逻辑代数的重要规则 一、代入规则 任何一个含有变量A的逻辑等式，如果将 所有出现A的位置都代之以同一个逻辑函数F， 则等式仍然成立。 例如：给定逻辑等式A(B+C)=AB+AC，若 用A+BC代替A，则该等式仍然成立，即： (A+BC)(B+C)=(A+BC)B+(A+BC)C 由公理5(A+A=1)同样有等式