



免费预览已结束,剩余1页可下载查看
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
练习8.11证明在布尔代数中a(ab)=ab, a(a b)=ab证明:a(ab)= (aa)(ab) 分配律=1(ab) 布尔代数的定义=ab 布尔代数的定义第二个式子是第一个式子的对偶式,对第一个式子用对偶原理即可得到。2证明:(1) (ab)(cd)=(ac)(bc)(ad)(bd)(2) (ab)(cd)=(ac)(bc) (ad)(bd)并推广到一般情况。证明:只需证明第一式,用对偶原理即得第二式。(ab)(cd)=( (ab)c)(ab)d) 分配律=( (ac)(bc)(ad)(bd) 分配律= (ac)(bc) (ad)(bd) 结合律推广到一般情况:(1) (a1a2an)(b1b2bn)=(a1b1)(a1b2)(a1bn) (a2b1)(a2b2)(a2bn) (anb1)(anb2)(anbn) (2) (a1a2an) (b1b2bn)=(a1b1) (a1b2) (a1bn)(a2b1) (a2b2) (a2bn)(anb1) (anb2) (anbn) 3. 证明:(1) (a c) (bc) (ab)=(a b) (ac) (b c)证明:左式=(a c) (bc) (ab)=(a c) b) (a c) c) )(ab) 分配律=(a b)(c b) (a c)(c c)(ab) 分配律=(a b)(c b) (a c)(ab) 分配律= (a b)(c b) (a c)(ab) 分配律=(a b)(c b) (a c) a) (a b)(c b) (a c) b) 分配律= (a ba)(c ba) (a ca)(a bb)(c bb) (a cb) 分配律= (c ba)(a cb) 布尔代数的定义右式=(a b) (ac) (b c)=(a b) a)(a b) c)(b c) 分配律=(a a)(ba)(a c)(b c)(b c) 分配律=(ba)(a c)(b c)(b c) 分配律=(ba)(a c)(b c)b) (ba)(a c)(b c) c) 分配律=(bab)(a cb)(b cb) (bac)(a cc)(b cc) 分配律=(a cb) (bac) 布尔代数的定义所以,左式=右式,即原式成立。(2) (ab) (bc) (ca)=(ab) (bc) (ca)证明:(ab) (bc) (ca)=(ab) b)(ab) c)(ca) 分配律=(b(ab) c)(ca) 吸收律=(b(ac)(bc)(ca) 分配律=( b(ac)(ca) 交换律、吸收律=( b(ac)c)(b(ac)a) 分配律=( ba)(bc)c)(ba)(bc)a) 分配律=( ba)c)( (bc)a) 吸收律=( ba)c)( (bc)a) 吸收律=( bc)(ac)( (ba)(ca) 分配律=(ab) (bc) (ca) 幂等律、交换律4. 证明:如果ab=ac 且ab=ac,则b=c.证明:b=b(ab) 吸收律= b(ac) 题目条件= (ba)(bc) 分配律= (ac) (bc) 题目条件= (ab) c 分配律=(ac) c 题目条件=c 吸收律练习8.21构造命题布尔代数上的下列布尔函数的真值表(1) f(x,y,z)=x(yz)xyz(yz)x(yz)0000000110010100111010000101111101111111(2) f(x,y,z)=x(yz)xyzyzx(yz)0000000100010000111110001101011100111111(3) f(w,x,y,z)=wy(xz)w,x, y,z00 0000 0100 1000 1101 0001 0101 1001 1110 0010 0110 1010 1111 0011 0111 1011 11xz0101111101011111wy0000000000110011wy(xz)0000000000010011(4) f(w,x,y,z)=w(y(xz)w,x, y,z00 0000 0100 1000 1101 0001 0101 1001 1110 0010 0110 1010 1111 0011 0111 1011 11xz0101111101011111(y(xz)0001001100010011w(y(xz)00010011111111112. 构造一个三元函数f(x,y,z),使得当且仅当x,y,z中恰有一个取值1时,f的值为0。解:据题意可知,函数f须满足以下表格:f10010111假设f(x,y,z)的主析取范式为f=(axyz) (bxyz) (cxyz) (dxyz) (exyz) (fxyz) (gxyz) (hxyz)把f(0,0,0)=f(0,1,1)=f(1,0,1)=f(1,1,0)=f(1,1,1)=1和f(0,0,1)=f(0,1,0)=f(1,0,0)=0代入上式可以得到a=1,b=1,c=1,d=0,e=1,f=0,g=0,h=1.代入f可以得到f=(xyz) (xyz) (xyz)(xyz)(xyz)或者用类似方法得到主合取范式f=(xyz)(xyz)(xyz)3已知为布尔代数,其上有布尔函数:f(x1,x2,x3)= (ax1x2) (x1(x3b)(1) 求f(b,1,a)的值;(2) 求f(x1,x2,x3)的主析取范式和主合取范式。解:(1) f(b,1,a)=b(2) 首先在此布尔代数中a=b,所以ab=1.方法一f(x1,x2,x3)= (ax1x2) (x1(x3b)=(ax1x2) (x1x3) (x1b)=(ax1x2 (x3 x3) (x1(x2 x2)x3) (b x1(x2 x2) (x3 x3)=(ax1x2 x3 ) (ax1x2 x3) (x1x2x3) (x1x2x3) (b x1x2x3) (b x1x2x3)(b x1x2x3) (b x1x2x3)=(x1x2x3) (x1x2x3) (x1x2x3) (bx1x2x3) 主析取范式f(x1,x2,x3)= (ax1x2) (x1(x3b)= (ax1x2) x1) (ax1x2) (x3b)= (x1)(ax3b) (x1x3b) (x2x3b)= (x1) (bx2x3)= (x1(x2 x2)(x3x3) (b(x1x1)x2x3)=(x1x2x3) (x1x2x3) (x1x2x3) (x1x2 x3)(bx1x2x3) (bx1x2x3)=(x1x2x3) (x1x2x3) (x1x2x3) (x1x2 x3)(bx1x2x3) (bx1x2x3) 主合取范式=(x1x2x3) (x1x2x3) (x1x2x3) (x1x2 x3)(bx1x2x3) 主合取范式方法二假设f(x1,x2,x3)的主析取范式为f=(a0x1x2x3) (a1x1x2x3) (a2x1x2x3) (a3x1x2x3) (a4x1x2x3) (a5x1x2x3) (a6x1x2x3) (a7x1x2x3)则f(0,0,0)= a7,f(0,0,1)= a6,f(0,1,0)= a5,f(0,1,1)= a4,f(1,0,0)=a3, f(1,0,1)=a2,f(1,1,0)=a1,f(1,1,1)=a0。再由f(x1,x2,x3)= (ax1x2) (x1(x3b)得到f(0,0,0)=0,f(0,0,1)=0,f(0,1,0)=0 ,f(0,1,1)=0,f(1,0,0)=1, f(1,0,1)=1,f(1,1,0)=b,f(1,1,1)=1。从而a0=1,a1=b,a2=1,a3=1,a4=0,a5=0,a6=0,a7=0.带入假设得到主析取范式为f=(x1x2x3) (bx1x2x3) (x1x2x3) (x1x2x3)类似方法可以得到主合取范式(x1x2x3) (x1x2x3) (x1x2x3) (x1x2 x3)(bx1x2x3) 4对于表11.1 中的函数f,分别写出其主析取范式和主合取范式。表11.1f10100101解:假设f(x1,x2,x3)的主析取范式为f=(ax1x2x3) (bx1x2x3) (cx1x2x3) (dx1x2x3) (ex1x2x3) (fx1x2x3) (gx1x2x3) (hx1x2x3)把f(0,0,0)=f(0,1,0)=f(1,0,1)=
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025西部矿业集团有限公司专业技术人员社会招聘30人笔试参考题库附带答案详解
- 2025神农科技集团有限公司第一批校园招聘17人(山西)笔试参考题库附带答案详解
- 2025浙江省盐业集团有限公司招聘22人笔试参考题库附带答案详解
- 2025河南郑州航空港国际教育投资发展集团有限公司招聘劳务派遣人员12人笔试参考题库附带答案详解
- 2025江苏苏海投资集团有限公司下属子公司对外招聘公交车驾驶员10人笔试参考题库附带答案详解
- 2025德曼节能科技(山东)有限公司招聘10人笔试参考题库附带答案详解
- 2025年阜阳市皖西北(阜南)粮食产业园有限公司招聘14人笔试参考题库附带答案详解
- 2025年福州市名城古厝设计院有限公司招聘4人笔试参考题库附带答案详解
- 2025年河南通航机场管理有限公司社会招聘23人笔试参考题库附带答案详解
- 2025年宁夏国运铁建高新材料科技有限公司急需岗位社会招聘6人笔试参考题库附带答案详解
- DB51T 2975-2022气凝胶复合保温隔热材料及系统通用技术条件
- 外科学-第十一章-外科感染(含案例分析)课件
- 《ch棘皮动物》课件
- 急诊科岗位职责
- 中国服用过兴奋剂运动员名单 兴奋剂真的是毒品吗
- 小学英语语法时态讲解与归纳
- 《生存与修炼》熊厚音讲《道德经》教学文案
- 淘宝新店运营计划书文献
- 产教融合校企合作[可修改版ppt]课件
- ICH Q6B 生物技术产品和生物制品的检验方法和可接受标准
- 12贮水花盆案例总结-2015天津中心修改43
评论
0/150
提交评论