数字逻辑2逻辑代数基础.pptVIP

第二章逻辑代数基础 计算机科学学院 朱勇 zhudz_1964@ zhudz_1964@163.com 逻辑代数基本规则 逻辑变量取值只能是0和1，且0和1不表示具体数量的大小，只表示两种不同的逻辑状态。 逻辑代数中基本运算只有“与”、“或”、“非”三种。 逻辑代数公理 逻辑代数定理 代入规则（Substitution Rule） 已知 如果用h替换等式两边的Xi，则等式仍然成立。即 反演规则（Inversion Rule） 若 则 变量和常量（0和1）取反，并将运算符“+”变为“·”、“·”变为“+” 。 反演实例 对偶规则（Duality Rule） 若 则 所有的“+”变为“·”、“·”变为“+”，“0”变为1”、“1”变为“0”，而逻辑变量保持不变 。 对偶实例 逻辑函数的表示方法 逻辑函数的常见表示方法有逻辑表达式、真值表、卡诺图和逻辑图四种，各种表示方法之间可以相互转换。 逻辑表达式（Logic Expression） 逻辑表达式由逻辑变量及“与”、“或”、“非”三种运算符构成的式子。例如 真值表（Truth Table） 真值表是一种表格表示法。真值表实际上是利用穷举法描述逻辑函数。 n个变量有2n个最小项。 真值表实例 逻辑图（Logic Diagram） 逻辑函数表示的逻辑关系可以用逻辑电路来实现。用逻辑符号画出的电路图称为逻辑图 。 逻辑函数表达形式 函数 可以表达为 积之和（SOP，Sum of Products） 所谓“积之和” 也叫“与或”表达式，是指一个函数表达式由若干个积项的和组成，即若干个与项（AND term）进行或运算形成的表达式。例如： 式中， 都是积项（与项）。 和之积（POS，Product of Sums） 所谓“和之积” 也叫“或与”表达式，是指一个函数表达式由若干个和项的积组成，即若干个或项（OR term）进行与运算形成的表达式。例如： 式中， 都是和项（或项）。 最小项（Minterm） 设有n个逻辑变量，它们组成的与项中每个变量或以原变量形式或以反变量形式出现一次，且仅出现一次，此与项称之为n个变量的最小项。 三变量最小项 最小项性质 任意一个最小项，相应变量有且只有一组取值使这个最小项的值为1。 任意两个最小项之积必为0，记为 n个变量的全部最小项之和为1，记为 函数的最小项标准形式 如果构成函数的积之和表达式中每一个乘积项（与项）均为最小项，则称之为最小项之和标准式。 如： 是一个最小项之和标准式，为了书写方便，上式可记为： 与或式转换成最小项标准式 由真值表导出最小项标准式 逻辑函数的化简方法 逻辑函数的化简方法有三种：代数法、卡诺图法和蕴涵法。 与或式化简常用公式 吸收法 利用公式 消去多余变量。 并项法 利用公式 两项合并为一项且消去一个变量。 消去法 利用多余项定理 消去多余项。 或与式化简常用公式 或与式化简方法 二次对偶法：利用对偶规则，先求出对偶式，再将对偶式化简为最简与或式，最后再求一次对偶，则得到最简或与式。 二次求反法：利用反演规则，先求出反函数，再将反函数化简成最简与或式，再求一次反，则得到最简或与式。 卡诺图（Karnaugh Map） 卡诺图是逻辑函数真值表的一种图形表示。利用卡诺图可以有规律地化简逻辑函数表达式，并能直观地写出逻辑函数的最简式。 二变量卡诺图构成 三、四变量卡诺图的构成 相邻最小项 把彼此只有一个变量不同，且这个不同变量互为反变量的两个最小项称为相邻最小项。 相邻关系 几何相邻：即几何位置上相邻的最小项，如四变量卡诺图中m0的相邻最小项m1和m4，这些最小项对应的小方格与m0对应的小方格分别相连。 相对相邻：如四变量卡诺图中m0的相邻最小项中的m2和m8。m0和m2处在同一列的两端，m0和m8处在同一行的两端，它们之间的位置都是“相对的”。 卡诺圈 把用来覆盖那些能由一个简单“与”项代替的若干最小项的“圈”称为卡诺圈。 两变量卡诺圈－Ⅰ 只有一个最小项m0 。 两变量卡诺圈－Ⅱ 最小项m1和m3几何相邻，可以画圈合并。 两变量卡诺圈－Ⅲ 最小项m0和m1几何相邻，可以画圈合并。 两变量卡诺圈－Ⅳ 最小项m1和m0几何相邻，可以画圈合并，同时最小项m1和m3几何相邻，也可以画圈合并。 两变量卡诺圈－Ⅴ 所有4个最小项都相邻，可以画圈合并。 三变量卡诺圈－Ⅰ 三变量卡诺圈－Ⅱ 三变量卡诺圈－Ⅲ 三变量卡诺圈－