├── README.md ├── courseware ├── 数字逻辑习题课王晓懿20181218.pdf ├── 数字逻辑第一讲_数制和编码_王晓懿 .pdf ├── 数字逻辑第一讲_绪论_王晓懿.pdf ├── 数字逻辑第七讲_时序电路_王晓懿.pdf ├── 数字逻辑第三讲_门电路_王晓懿.pdf ├── 数字逻辑第九讲_脉冲波的产生与整形_王晓懿.pdf ├── 数字逻辑第二讲_逻辑代数基础_王晓懿.pdf ├── 数字逻辑第五讲_Verilog介绍_王晓懿-1.pdf ├── 数字逻辑第五讲_Verilog介绍_王晓懿-2.pdf ├── 数字逻辑第八讲_存储器和可编程器件_王晓懿.pdf ├── 数字逻辑第六讲_触发器_王晓懿.pdf ├── 数字逻辑第四讲_组合逻辑_王晓懿-1.pdf ├── 数字逻辑第四讲_组合逻辑_王晓懿-2.pdf ├── 数字逻辑第四讲_组合逻辑_王晓懿-3.pdf └── 数字逻辑第四讲_组合逻辑_王晓懿-4.pdf ├── exercises ├── exercise_1.ipynb ├── exercise_1.pdf ├── exercise_2.pdf ├── exercise_3.pdf ├── exercise_4.pdf └── exercise_5.pdf └── pictures ├── 2-28_a.png └── 2-28_b.png /README.md: -------------------------------------------------------------------------------- 1 | # digital-logic 2 | Teaching material for Digital Logic 3 | -------------------------------------------------------------------------------- /courseware/数字逻辑习题课王晓懿20181218.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑习题课王晓懿20181218.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第一讲_数制和编码_王晓懿 .pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第一讲_数制和编码_王晓懿 .pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第一讲_绪论_王晓懿.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第一讲_绪论_王晓懿.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第七讲_时序电路_王晓懿.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第七讲_时序电路_王晓懿.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第三讲_门电路_王晓懿.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第三讲_门电路_王晓懿.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第九讲_脉冲波的产生与整形_王晓懿.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第九讲_脉冲波的产生与整形_王晓懿.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第二讲_逻辑代数基础_王晓懿.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第二讲_逻辑代数基础_王晓懿.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第五讲_Verilog介绍_王晓懿-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第五讲_Verilog介绍_王晓懿-1.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第五讲_Verilog介绍_王晓懿-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第五讲_Verilog介绍_王晓懿-2.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第八讲_存储器和可编程器件_王晓懿.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第八讲_存储器和可编程器件_王晓懿.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第六讲_触发器_王晓懿.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第六讲_触发器_王晓懿.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第四讲_组合逻辑_王晓懿-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第四讲_组合逻辑_王晓懿-1.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第四讲_组合逻辑_王晓懿-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第四讲_组合逻辑_王晓懿-2.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第四讲_组合逻辑_王晓懿-3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第四讲_组合逻辑_王晓懿-3.pdf -------------------------------------------------------------------------------- /courseware/数字逻辑第四讲_组合逻辑_王晓懿-4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/courseware/数字逻辑第四讲_组合逻辑_王晓懿-4.pdf -------------------------------------------------------------------------------- /exercises/exercise_1.ipynb: -------------------------------------------------------------------------------- 1 | { 2 | "cells": [ 3 | { 4 | "cell_type": "markdown", 5 | "metadata": {}, 6 | "source": [ 7 | "#
第一次作业" 8 | ] 9 | }, 10 | { 11 | "cell_type": "markdown", 12 | "metadata": {}, 13 | "source": [ 14 | "第一题：用真值表证明下列恒等式的正确性：\n", 15 | "
（a）三变量的摩根定理：$(x+y+z)^{\\prime}=x^{\\prime}y^{\\prime}z^{\\prime}$ 和 $(xyz)^{\\prime}=x^{\\prime}+y^{\\prime}+z^{\\prime}$\n", 16 | "
（b）分配律：$x+yz=(x+y)(x+z)$\n", 17 | "
（c）分配律：$x(y+z)=xy+xz$\n", 18 | "
（d）结合律：$x+(y+z)=(x+y)+z$\n", 19 | "
（e）结合律：$x(yz)=(xy)z$" 20 | ] 21 | }, 22 | { 23 | "cell_type": "markdown", 24 | "metadata": {}, 25 | "source": [ 26 | "第二题：求出下列函数的反函数\n", 27 | "
（a）$xy^{\\prime}+x^{\\prime}y$\n", 28 | "
（b）$(a+c)(a+b^{\\prime})(a^{\\prime}+b+c^{\\prime})$\n", 29 | "
（c）$z+z^{\\prime}(v^{\\prime}w+xy)$" 30 | ] 31 | }, 32 | { 33 | "cell_type": "markdown", 34 | "metadata": {}, 35 | "source": [ 36 | "第三题：逻辑运算可以按位实现，每一对相应位（称为位运算）单独进行。给定两个8位字符串 $A=10110001$ 和 $B=10101100$，在以下逻辑运算下计算8位结果：\n", 37 | "
（a）AND\n", 38 | "
（b）NOT A\n", 39 | "
（c）NOT B\n", 40 | " " 41 | ] 42 | }, 43 | { 44 | "cell_type": "markdown", 45 | "metadata": {}, 46 | "source": [ 47 | "第四题：n个变量布尔函数的所有最小项之逻辑和为1。\n", 48 | "
（a）对于$n=3$，证明上述论断\n", 49 | "
（b）给出一般的证明过程" 50 | ] 51 | }, 52 | { 53 | "cell_type": "markdown", 54 | "metadata": {}, 55 | "source": [ 56 | "第五题：用布尔方程和真值表描述图下（a）和（b）所示逻辑图中电路的输出。" 57 | ] 58 | }, 59 | { 60 | "cell_type": "markdown", 61 | "metadata": {}, 62 | "source": [ 63 | "
（a）" 64 | ] 65 | }, 66 | { 67 | "cell_type": "markdown", 68 | "metadata": {}, 69 | "source": [ 70 | "![2-28](../pictures/2-28_a.png)" 71 | ] 72 | }, 73 | { 74 | "cell_type": "markdown", 75 | "metadata": {}, 76 | "source": [ 77 | "
（b）" 78 | ] 79 | }, 80 | { 81 | "cell_type": "markdown", 82 | "metadata": {}, 83 | "source": [ 84 | "![2-28](../pictures/2-28_b.png)" 85 | ] 86 | }, 87 | { 88 | "cell_type": "markdown", 89 | "metadata": {}, 90 | "source": [ 91 | "第六题：判断下列布尔方程是否成立\n", 92 | "
$x^{\\prime}y^{\\prime}+x^{\\prime}z+x^{\\prime}z^{\\prime}=x^{\\prime}z^{\\prime}+y^{\\prime}z^{\\prime}+x^{\\prime}z$" 93 | ] 94 | }, 95 | { 96 | "cell_type": "markdown", 97 | "metadata": {}, 98 | "source": [ 99 | "第七题：用四变量的卡诺图化简下面的布尔函数。\n", 100 | "
$F(A,B,C,D)=\\Sigma(2,3,6,7,12,13,14)$" 101 | ] 102 | }, 103 | { 104 | "cell_type": "markdown", 105 | "metadata": {}, 106 | "source": [ 107 | "第八题：用四变量的卡诺图法化简下面的布尔表达式。\n", 108 | "
$A^{\\prime}B^{\\prime}C^{\\prime}D^{\\prime}+AC^{\\prime}D^{\\prime}+B^{\\prime}CD^{\\prime}+A^{\\prime}BCD+BC^{\\prime}D$" 109 | ] 110 | }, 111 | { 112 | "cell_type": "markdown", 113 | "metadata": {}, 114 | "source": [ 115 | "第九题：用卡诺图将函数$F=fg$ 化简成积之和式。已知f和g分别为：\n", 116 | "
$f=abc^{\\prime}+c^{\\prime}d+a^{\\prime}cd^{\\prime}+b^{\\prime}cd^{\\prime}$
\n", 117 | "
和\n", 118 | "
$g=(a+b+c^{\\prime}+d^{\\prime})(b^{\\prime}+c^{\\prime}+d)(a^{\\prime}+c+d^{\\prime})$" 119 | ] 120 | } 121 | ], 122 | "metadata": { 123 | "kernelspec": { 124 | "display_name": "Python 3", 125 | "language": "python", 126 | "name": "python3" 127 | }, 128 | "language_info": { 129 | "codemirror_mode": { 130 | "name": "ipython", 131 | "version": 3 132 | }, 133 | "file_extension": ".py", 134 | "mimetype": "text/x-python", 135 | "name": "python", 136 | "nbconvert_exporter": "python", 137 | "pygments_lexer": "ipython3", 138 | "version": "3.6.5" 139 | } 140 | }, 141 | "nbformat": 4, 142 | "nbformat_minor": 2 143 | } 144 | -------------------------------------------------------------------------------- /exercises/exercise_1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/exercises/exercise_1.pdf -------------------------------------------------------------------------------- /exercises/exercise_2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/exercises/exercise_2.pdf -------------------------------------------------------------------------------- /exercises/exercise_3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/exercises/exercise_3.pdf -------------------------------------------------------------------------------- /exercises/exercise_4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/exercises/exercise_4.pdf -------------------------------------------------------------------------------- /exercises/exercise_5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/exercises/exercise_5.pdf -------------------------------------------------------------------------------- /pictures/2-28_a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/pictures/2-28_a.png -------------------------------------------------------------------------------- /pictures/2-28_b.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wxy-team/digital-logic/91a90e1e2c2b691e833f482610fd848e812f0063/pictures/2-28_b.png --------------------------------------------------------------------------------