逻辑函数的表示与化简 数字电路 研讨课.pptVIP

THANK YOU * 逻辑关系的证明与表示 利用数学操作法（公式法）进行证明： 通过代入公式来显示出EOR=EOL X+Y 使用公理或定理 X+Y?1 变量主导律 X?1 = X X+Y?(X+X) 互补律 X+X = 1 X+Y?X+Y?X 分配律 X?(Y+Z) = X?Y+Y?Z X?1+Y?X+Y?X 变量主导律 X?1 = X X?1+X?Y+X?Y 交换律 X?Y = Y?X X?(1+Y)+X?Y 分配律 X?(Y+Z) = X?Y+Y?Z X?1+X?Y 标识元素定理 X+1 = X X+X?Y 变量主导律 X?1 = X 即左边=右边 或 X+Y =X+Y?1 =X+Y?(X+X) =X+Y?X+Y?X =X?1+Y?X+Y?X =X?1+X?Y+X?Y =X?(1+Y)+X?Y =X?1+X?Y =X+X?Y * 逻辑关系的证明与表示 PART1 三种证明方法 X+X?Y = X+Y 举例2：证明n变量德摩根定律 （X1?X2? ??? ?Xn） = X1+X2+ ??? +Xn 证：1.当n = 2时，易知（X1?X2） = X1 + X2....................................(1) 2.假设当n=k（k2）时，有 （X1?X2? ??? ?Xk） = X1+X2+ ??? +Xk...............................(2) 则当n = k+1时， [(X1?X2? ??? ?Xk?X(k+1)] = [（X1?X2? ??? ?Xk）?X(K+1)] = （X1?X2? ??? ?Xk）+X(K+1) ...............由（1）式得到 = (X1+X2+ ??? +Xk)+X(K+1) ...............由（2）式得到 = X1+X2+ ??? +Xk+X(K+1) 故结论成立 * 逻辑关系的证明与表示 PART1 三种证明方法 二. 三个基本定理：代入定理，反演定理，对偶定理 逻辑等式中的任何变量A，都可用另一个逻辑式F代替，则等式仍然成立。 意义：将基本公式扩展为多变量的形式。 “证明”：因为变量A仅有0和1两种可能的状态，所以无论将A=0还是A=1代入逻辑等式，等式都一定成立。而任何一个逻辑式的取值也不外0和1两种，所以用它取代式中的A时，等式自然也成立。因此，可以把代入定理看作无须证明的公理 例1：用代入规则证明多变量反演律 以(B+C)代入A+B=A·B中的B得： 故A+B+C+…=A · B · C ·… A+(B+C)=A·(B+C)=A · B · C 1.代入定理 * 逻辑关系的证明与表示 PART2 三个基本定理 2.反演定理 注意：(1)按先“括号、后乘、最后加”的优先顺序。 (2)变量取反只对单个变量的情况，公共非号 应保留不变。 若将 · + 0 1 A B F ↓↓↓↓ ↓ ↓则 ↓ + · 1 0 A B F 解： F2=AB+C+D 求F1,F2 例2、已知F1=A(B+C)、 F1=A+BC F2=(A+B)C ·D * 逻辑关系的证明与表示 PART2 三个基本定理 * 逻辑关系的证明与表示 反演定理即广义德摩根定理，其表达式可写作： [F(X1,X2,...,Xn,+,?)] = F(X1,X2,...,Xn,?,+) 证明：所有函数都被写成子函数的和或积，然后递归地应用定理 （X1?X2? ??? ?Xn） = X1+X2+ ??? +Xn （X1+X2+ ??? +Xn） = X1?X2? ??? ?Xn [这两个定理均可用完全归纳法进行证明]，即可证明 PART2 三个基本定理 意义：使记忆公式、定理的工作量减半。 对偶式：若 · + 0 1 F ↓↓↓↓ 则 ↓ + · 1 0 F′ 3.对偶定理 对偶规则：若F=G，F1D =