整理版第二章 逻辑代数与硬件描述措辞基础.ppt

第二章 逻辑代数与硬件描述语言基础;2.1,,,,,逻辑代数;2.1.1,,,,,逻辑代数的基本定律和恒等式;例：证明吸收律;例: 用真值表证明反演律：;1．代入规则;对偶规则的基本内容：如果两个逻辑函数表达式相等，那么它们的对偶式也一定相等。;3．反演规则;1．逻辑函数式的常见形式,,,,,;2．逻辑函数的代数法化简,,,,,;运用吸收律 消去多余的因子。;例：化简逻辑函数:;例：化简逻辑函数;保屉篱撼似砖毋旋簧纂穆讨谆琵授取滴丸戏掣港菠蒸雍田睫践酸籍蝎富脓第二章,,,,,逻辑代数与硬件描述语言基础第二章,,,,,逻辑代数与硬件描述语言基础;例：化简逻辑函数:;;2．最小项的基本性质;（2）不同的最小项，使它的值为1的那组变量取值也不同。 （3）对于变量的任一组取值，任意两个最小项的乘积为0。,,,,, （4）对于变量的任一组取值，全体最小项的和为1。;2.2.2,,,,,逻辑函数的最小项表达式;要把非“与—或表达式”的逻辑函数变换成最小项表达式，应先将其变成“与—或表达式”再转换。式中有很长的非号时，先把非号去掉。;2.2.3,,,,,卡诺图;2．卡诺图;（3）四变量卡诺图,,,,,;2.2.4．用卡诺图表示逻辑函数,,,,,;2．从逻辑表达式到卡诺图,,,,,;（2）如果逻辑表达式不是最小项表达式，但是“与—或表达式”，可将其先化成最小项表达式，再填入卡诺图。也可直接填入，直接填入的具体方法是：分别找出每一个与项所包含的所有小方格，全部填入1。,,,,,;2.2.5,,,,,逻辑函数的卡诺图化简法,,,,,;（2）4个相邻的最小项结合，可以消去2个取值不同的变量，如图。,,,,,;2．卡诺图化简逻辑函数的步骤,,,,,;⑶,,,,,合并最小项(画圈),,,,,;例：用卡诺图化简逻辑函数,,,,,;,,,,,;例：某逻辑函数的真值表如表所示，用卡诺图化简该逻辑函数。;3．卡诺图化简逻辑函数的另一种方法（圈0法）;4．具有无关项的逻辑函数的化简;（2）具有无关项的逻辑函数的化简;2.3,,,,,硬件描述语言VerilogHDL基础