数字逻辑自动逻辑综合.ppt

文档介绍：第八章自动逻辑综合
内容:
多维体表示
多维体的基本运算
多维体运算的计算机实现
组合逻辑电路的计算机辅助逻辑设计
同步时序逻辑电路的计算机辅助设计
第一节多维体表示
函数的输入组合是与多维体的顶点相对应的,如果函数值为1,则相应多维体顶点为真或ON顶点;如果函数值为 0,则相应多维体顶点为函数的假顶点或OFF顶点。
假如给定逻辑函数F1,其函数表达式为:
则可用一个三维体来表示:
011
100
101
111
110
010
001
000
实心点表示真顶点,空心点表示假顶点
用ON数组、OFF数组和DC数组集合描述为:
第二节多维体的基本运算
蕴涵运算
交集运算
并集运算
相容运算
锐集运算
一、蕴涵运算
多维体a蕴涵在多维体b中,则称a被b蕴涵,或称a被b所包含,记作
bi
0 1 x
ai
0
1
x
ε y ε
y εε
y y ε
蕴涵表
表中的ε含义是蕴涵,y的含义是不蕴涵。
多维体的蕴涵运算与逻辑代数中乘积项的覆盖关系对应。
多维体的蕴涵运算可以在多维体集合中删去那些蕴涵于另一些多维体中的多维体,从而达到简化多维体集合的目的。
二、并集运算
两个多维体集合A和B的并集为A、B中全部多维体的集合。