6逻辑函数zuixin1.docVIP

第6章 逻辑代数基础 6.1对课程内容掌握程度的建议 章 节 课程内容掌握程度 A B C 6.1概 述6.2 逻 辑 运 算6.3 形 式 定 理6.4 基 本 规 则6.5 用代数法化简逻辑式 用代数法化简逻辑式 6.6最小项和最大项 最小项 最大项 6.7 卡诺图化简法卡诺图化简法；图6.1(b)圆圈A与圆圈B相交的部分是A、B的与逻辑，即AB；图6.1(c)圆圈A与圆圈B所有的部分是A、B的或逻辑，即A+B。与逻辑AB也称为A与B的交集（intersection）；或逻辑A+B也称为A和B的并集（union）。 (a) 单变量的文氏图 (b) 与逻辑的文氏图 (c) 或逻辑的文氏图 图6.1 文氏图 6.2.2 正逻辑和负逻辑的关系 正逻辑是将双值逻辑的高电平H定义为“1”，代表有信号；低电平L定义为“0”，代表无信号。负逻辑是将双值逻辑的高电平H定义为“0”，代表无信号；低电平L定义为“1”，代表有信号。正逻辑和负逻辑对信号有无的定义正好相反，就好象“左”、“右”的规定一样，设正逻辑符合现在习惯的规定，而负逻辑正好反过来，把现在是“左”，定义为“右”，把现在是“右”，定义为“左”。关于正、负逻辑的真值表，以两个变量为例，见表6.1。 表6.1 输入变量 输出 正逻辑 负逻辑 A B Y A B Y A B Y L L L 0 0 0 1 1 1 L H L 0 1 0 1 0 1 H L L 1 0 0 0 1 1 H H H 1 1 1 0 0 0 由表6.1可以看出，对正逻辑的约定，表中相当是与逻辑；对负逻辑约定，则相当是或逻辑。所以正逻辑的“与”相当负逻辑的“或”；正逻辑的“或”相当负逻辑的“与”。正与和负或只是形式上的不同，不改变问题的实质。 6.2.3 形式定理 本书介绍了17个形式定理，分成五类。需要说明的是，许多书上对这些形式定理有各自的名称，可能是翻译上的缘故，有一些不太贴切，为此，将形式定理分成5种形式表述，更便于记忆。 所以称为形式定理，是因为这些定理在逻辑关系的形式上虽然不同，但实质上是相等的。形式定理主要用于逻辑式的化简，或者在形式上对逻辑式进行变换，它有以下五种类型： 1．变量与常量之间的关系； 2．变量自身之间的关系； 3．与或型的逻辑关系； 4．或与型的逻辑关系； 5．求反的逻辑关系——摩根（Morgan）定理。 6.2.3.1 变量与常量之间的关系 变量与常量之间的关系可分为与逻辑和或逻辑两种形式，共四个。 定理1： A(0 =0 定理2： A+1=1 定理3： A?1 =A 定理4： A+0=A 6.2.3.2 变量自身之间的关系 变量自身之间的关系也可分为与逻辑和或逻辑两种形式，共四个。 定理5： A?A =A 定理6： A+A =A 定理7： A?=0 定理8： A+=1 6.2.3.3 与或型和或与型的逻辑关系 与或型和或与型的定理有三对，它们是 定理9： A +A B = A 定理10： A（A + B）= A 定理11： A+B =A+B 定理12： A（+B）=AB 定理13： AB+C+BC =AB+C 定理14： (A+B)(+C)(B+C)=(A+B)(+C ) 6.2.3.4 求反的逻辑关系 定理15： 定理16： 定理17： 以上介绍了十七个形式定理，只须熟记其中的一半，利用对偶规则即可得出另一半。 形式定理的证明一般采用代数法，即用已经被证明的定理去证明那些需要证明的定理；二是所谓的真值法，因为对于双值逻辑系统，每一个逻辑变量只有“0”和“1”，对于2个逻辑变量，只有4种可能，对于3个逻辑变量，只有8种可能，…，所以可以将逻辑变量的真值代入形式定理一一验证。不过变量数较多时也很不方便。利用文氏图也可以证明形式定理，例如摩根定理，图6.2表示了这一过程。 证明，图6.2(a)是 ，正好是图6.1 (b)的反；图6.2 (b)是； 图6.2 (c) 是；图6.2 (d)是。图6.2(a)和图6.2 (d)完全一样，由此证明了 (a) (b) (c) (d) 图6.2 用文氏图证明摩根定理 6.2.4最小项、最大项及其性质 最小