第二章逻辑代数与硬件描述语言基出(康华光)概述.pptVIP

2006年9月4日 湖南科技大学 第二章 逻辑代数与硬件描述语言基础 2.1 逻辑代数基础→逻辑代数的基本公式 2.1 逻辑代数基础→逻辑代数的基本公式 2.1 逻辑代数基础→逻辑代数的基本公式 2.1 逻辑代数基础→逻辑代数的基本公式 2.1 逻辑代数基础→基本规则 2.1 逻辑代数基础→基本规则 2.1 逻辑代数基础→基本规则 2.1 逻辑代数基础→基本规则 2.1 逻辑代数基础→基本规则 2.1 逻辑代数基础→常用公式 2.1 逻辑代数基础→常用公式 2.1 逻辑代数基础→常用公式 2.1 逻辑代数基础→逻辑函数的化简 2.1 逻辑代数基础→最简形式 2.1逻辑代数基础 →最简形式 2.1 逻辑代数基础 →化简方法→吸收法 2.1 逻辑代数基础 →化简方法→消去法 2.1 逻辑代数基础 →化简方法→并项法 2.1 逻辑代数基础 →化简方法→配项法 2.1 逻辑代数基础 →化简方法→综合运用 2.1 逻辑代数基础 →化简方法→综合运用 2.1 逻辑代数基础 →化简方法→小结 2.2 逻辑代数基础 →化简方法→卡诺图化简法 2.2 逻辑代数基础 →化简方法→卡诺图化简法 2.2 逻辑代数基础 →化简方法→卡诺图化简法 2.2逻辑代数基础 →化简方法→卡诺图化简法 2.2 逻辑代数基础 →化简方法→卡诺图化简法 2.2 逻辑代数基础 →化简方法→卡诺图的画法 2.2 逻辑代数基础 →化简方法→卡诺图的画法 2.2 逻辑代数基础 →化简方法→卡诺图的画法 2.2 逻辑代数基础 →化简方法→卡诺图的画法 2.2 逻辑代数基础 →化简方法→卡诺图的画法 2.2 逻辑代数基础 →化简方法→圈图原则 2.2 逻辑代数基础 →化简方法→圈图原则 2.2 逻辑代数基础 →化简方法→圈图原则 2.2 逻辑代数基础 →化简方法→圈图原则 2.2 逻辑代数基础 →化简方法→圈图原则 2.2 逻辑代数基础 →化简方法→圈图原则 2.2 逻辑代数基础 →化简方法→圈图原则 2.2 逻辑代数基础 →化简方法→圈图实例 2.2 逻辑代数基础 →化简方法→圈图原则 卡诺图化简逻辑函数的另一种方法——圈0法 2.2 逻辑代数基础 →化简方法→无关项化简 2.2 逻辑代数基础 →化简方法→无关项化简 2.3 正负逻辑的逻辑符号的变换→ 逻辑符号 2.3 正负逻辑的逻辑符号的变换→ 逻辑符号 2.3 正负逻辑的逻辑符号的变换→ 逻辑变换 2.3 正负逻辑的逻辑符号的变换→逻辑变换 2.3 正负逻辑的逻辑符号的变换→逻辑变换 2.3 逻辑代数基础→基本规则 2.4 硬件描述语言Verilog HDL基础 2.4 硬件描述语言Verilog HDL基础 2.4 硬件描述语言Verilog HDL基础 2.4 硬件描述语言Verilog HDL基础 2.4 硬件描述语言Verilog HDL基础 2.4 硬件描述语言Verilog HDL基础 (2) 卡诺图的性质 ① n变量，2n个小方格 。每个小方格放入一个最小项。 ②相邻性 ：两个最小项除一变量取值互补外，其它变量均相同。 (3)用卡诺图化简逻辑函数的步骤和方法 方法：将函数中包含的最小项在卡诺图中填1，没有的项填0，最后得函数卡诺图。 1用卡诺图表示逻辑函数 方法：将函数中包含的最小项在卡诺图中填1，没有的项填0，最后得函数卡诺图。 2已知函数真值表画卡诺图 函数值为0或1，直接填入对应方格中 3 圈卡诺图 圈卡诺图的原则 合并最小项，即将相邻的1方格圈成一组（包围圈），每组含2n个方格，对应每个包围圈写成一个新的乘积项；将所有包围圈对应的乘积项相加。 相邻方格包括上下底相邻、左右边相邻和四角相邻。 3 圈卡诺图 圈卡诺图的原则 ①小方格可重复包围，但每圈一次定要有新方格圈入。 图1 ②每个包围圈必须是最大圈（才能化最简式）。 图2中F3不是最大圈。F3应包围m1、m3 、 m9、m11四个最小项。 ③ 包围圈应是必要圈而不是多余圈 圈中最小项已被使用过 ④ 所有1值方格均画出包围圈以保证函数值不变 合并1格的简易口诀： 先圈孤立1 照顾稀疏1 合并相邻1 画圈尽量大 避免冗余圈 每个包围圈中最小项合并成一项，由相邻性： ①被圈两项合并为一项，消去一个变量。 ②被圈四项合并为一项，消去两个变量。 ③被圈八项合并为一项，消去三个变量。 ④被圈十六项合并为一项，消去四个变量。 4 读卡诺图 各包围圈合并项相加。 总之：2i个相邻最小项合并后，可消去i个变量 。 例1-9：化简 例1-10：化简 化成标准的与-或式 解 用 补最小项 如果一个逻辑函数用卡诺图表示后，里面的0很少且相邻性很强，用圈0法更简单。注