离散数课件-第1章-8(上).pptVIP

*;第一章 逻辑与证明; 学习内容;;1.引言 布尔代数提供的是集合{0，1}上的运算和规则，这个集合及布尔代数的规则还可以用来研究电子和光学开关。 我们用的最多的三个布尔代数运算是补、布尔和与布尔积。 下面具体介绍一下这三种运算。 1） 元素的补 用上划线加以标记，其定义为： 和;2. 布尔和记为+或OR，它的值如下： 3.布尔积记为 或AND ，它的值如下： 注意： 为了避免混淆可以删去“ ”。就像在写代数积时一样。 除非使用括号布尔运算的优先级规则是：首先计算所有补，然后是布尔积，然后是布尔和。;【example 1】计算 的值。 Solution： 根据补、布尔积与布尔和的定义得 注：补、布尔积和布尔和分别对应于逻辑运算?、∨和∧，且0 对应于F(假)，1对应于T(真)。关于布尔代数的结果可以直接翻译 成关于命题的结果。相??地，关于命题的结果也能翻译成关于布 尔代数的命题。 ;;【example 2】从布尔变元有序对之取值集合到集合{0，1} 的函数 就是一个2度布尔函数，且 F的值如下表所示。;布尔函数也可用由变元和布尔运算构成的表达式来表示。关 于变元x1,x2,…,xn的布尔表达式递归定义如下： 1）0，1，x1，x2，…，xn是布尔表达式； 2）如果E1和E2是布尔表达式，则 也是布尔表达式。 每个布尔表达式都表示一个布尔函数，此函数的值是通过在 表达式中用0和1替换变元得到的。 ; ; ;n个变元的布尔函数F和G是相等的，当且仅当 F( b1,b2,…bn )=G( b1,b2,..bn ),其中b1,b2,…bn 属于B.表示 同一个函数的不同的布尔表达式称为是等价的。 例如，布尔表达式 都是等价的。布尔函 数F的补函数是 此处 设F和G是n度的布尔函数，函数的布尔和F+G与布尔积FG分 别为;2度布尔函数是从一个4个元素的集合到B的函数，这4个元素 是B={0,1}中元素构成的元素对，B是有2个元素的集合，因而有 16个不同的2度布尔函数。在下表中我们列出了这16个2度布尔 函数的值，这16个不同的2度布尔函数被记为F1, F2, …, F16.;【example 5】有多少个不同的n度布尔函数？ Solution： 由计数的乘积规则知：有2n个由0和1构成的不同的n元组。 因为布尔函数就是对这2n个n元组中的每一个进行赋值，故乘 积规则表明有 个不同的n度布尔函数。 下表列出了1~6度不同布尔函数的个数。;3.布尔代数恒等式 布尔代数有许多恒等式，下表中列出了其中最重要的恒等式 。这些恒等式对于电路设计的简化特别有用，下表中的每一个恒 等式都可以用表来证明。;悬接虚解她批喻耍破盆东腔映红擅灾镰粳曹胃旨夫兄挥拉橇杠赔骏授糜部离散数学课件-第1章-8(上)离散数学课件-第1章-8(上);【example 6】证明分配律 是正确。 下表表示此恒等式的验证。这个恒等式成立是因为此表的最 后两列相同。;布尔代数恒等式也可以被用来进一步证明其他的恒等式。 【example 7】用表5所示的布尔代数的其他恒等式证明 吸收律 （称为吸收律是因为将x+y吸收进x而保持x不变。） Solution : 推导此恒等式的步骤及没不使用的定律如下： 布尔和的同一律 布尔和对布尔积的分配律 布尔积的交换律 布尔积的支配律 布尔和的同一律;4. 对偶性 表5中的恒等式都是成对出现的（除了双重补律、单位元性质 及零元性质），为解释每一对恒等式中的两个式子的关系，我们 使用“对偶”这个概念。 一个布尔表达式的对偶可如下得到： 交换布尔和与布尔积，且交换0与1.;【examp