- 417
- 0
- 约5.28千字
- 约 5页
- 2017-04-08 发布于江苏
- 举报
布尔代数习题答案
练习8.1
1.证明在布尔代数中a∨(a’∧b)=a∨b, a∧(a’ ∨b)=a∧b
证明:
a∨(a’∧b)
= (a∨a’)∧(a∨b) 分配律
=1∧(a∨b) 布尔代数的定义
=a∨b 布尔代数的定义
第二个式子是第一个式子的对偶式,对第一个式子用对偶原理即可得到。
2.证明:
(1) (a∨b)∧(c∨d)=(a∧c)∨(b∧c)∨(a∧d)∨(b∧d)
(2) (a∧b)∨(c∧d)=(a∨c)∧(b∨c)∧ (a∨d)∧(b∨d)
并推广到一般情况。
证明:只需证明第一式,用对偶原理即得第二式。
(a∨b)∧(c∨d)
=( (a∨b)∧c)∨((a∨b)∧d) 分配律
=( (a∧c)∨(b∧c))∨((a∧d)∨(b∧d)) 分配律
= (a∧c)∨(b∧c)∨ (a∧d)∨(b∧d) 结合律
推广到一般情况:
(1) (a1∨a2∨…∨an)∧(b1∨b2∨…∨bn)
=(a1∧b1)∨(a1∧b2)∨…∨(a1∧bn) ∨ (a2∧b1)∨(a2∧b2)∨…∨(a2∧bn) ∨ … ∨(an∧b1)∨(an∧b2)∨…∨(an∧bn) ∨
(2) (a1∧a2∧…∧an) ∨(b1∧b2∧…∧bn)
=(a1∨b1) ∧(a1∨b2) ∧…∧(a1∨bn)
∧(a2∨b1) ∧(a2∨b2) ∧…∧(a2∨bn)
∧…∧(an∨b1) ∧(an∨b2) ∧…∧(an∨bn)
3. 证明:
(1) (a’ ∧c’) ∨(b∧c) ∨(a∧b’)=(a’ ∧b) ∨(a∧c) ∨(b’ ∧c’)
证明:
左式
=(a’ ∧c’) ∨(b∧c) ∨(a∧b’)
=(((a’ ∧c’) ∨b) ∧((a’ ∧c’) ∨c) )∨(a∧b’) 分配律
=((a’ ∨b)∧(c’ ∨b) ∧(a’ ∨c)∧(c’ ∨c))∨(a∧b’) 分配律
=((a’ ∨b)∧(c’ ∨b) ∧(a’ ∨c))∨(a∧b’) 分配律
= ((a’ ∨b)∧(c’ ∨b) ∧(a’ ∨c))∨(a∧b’) 分配律
=(((a’ ∨b)∧(c’ ∨b) ∧(a’ ∨c)) ∨a) ∧(((a’ ∨b)∧(c’ ∨b) ∧(a’ ∨c)) ∨b’) 分配律
= ((a’ ∨b∨a)∧(c’ ∨b∨a) ∧(a’ ∨c∨a))∧((a’ ∨b∨b’)∧(c’ ∨b∨b’) ∧(a’ ∨c∨b’)) 分配律
= (c’ ∨b∨a)∧(a’ ∨c∨b’) 布尔代数的定义
右式
=(a’ ∧b) ∨(a∧c) ∨(b’ ∧c’)
=(((a’ ∧b) ∨a)∧((a’ ∧b) ∨ c)))∨(b’ ∧c’) 分配律
=(((a’ ∨a)∧(b∨a))∧((a’ ∨ c)∧(b∨ c)))∨(b’ ∧c’) 分配律
=((b∨a)∧(a’ ∨ c)∧(b∨ c))∨(b’ ∧c’) 分配律
=(((b∨a)∧(a’ ∨ c)∧(b∨ c))∨b’) ∧(((b∨a)∧(a’ ∨ c)∧(b∨ c)) ∨c’)) 分配律
=(((b∨a∨b’)∧(a’ ∨ c∨b’)∧(b∨ c∨b’))) ∧(((b∨a∨c’)∧(a’ ∨ c∨c’)∧(b∨ c∨c’)))) 分配律
=(a’ ∨ c∨b’) ∧(b∨a∨c’) 布尔代数的定义
所以,左式=右式,即原式成立。
(2) (a∧b) ∨(b∧c) ∨(c∧a)=(a∨b) ∧(b∨c) ∧(c∨a)
证明:
(a∧b) ∨(b∧c) ∨(c∧a)
=(((a∧b) ∨b)∧((a∧b) ∨c))∨(c∧a) 分配律
=(b∧((a∧b) ∨c))∨(c∧a) 吸收律
=(b∧((a∨c)∧(b∨c)))∨(c∧a) 分配律
=( b∧(a∨c))∨(c∧a) 交换律、吸收律
=(( b∧(a∨c))∨c)∧((b∧(a∨c))∨a) 分配律
=((( b∧a)∨(b∧c))∨c)∧(((b∧a)∨(b∧c))∨a) 分配律
=(( b∧a)∨c)∧( (b∧c)∨a) 吸收律
=(( b∧a)∨c)∧( (b∧c)∨a) 吸收律
=(( b∨c)∧(a∨c))∧( (b∨a)∧(c∨a)) 分配律
=(a∨b) ∧(b∨c) ∧(c∨a) 幂等律、交换律
4. 证明:如果a∧b=a∧c 且a∨b=a∨c,则b=c.
证明:
b=b∨(a∧b) 吸收律
= b∨(a∧c) 题目条件
= (b∨a)∧(b∨c) 分配律 ∧(b∨c) 题目条件
= (a∧b) ∨c 分配律
=(a∧c) ∨c 题目条件
=c 吸收律
练习8.2
1.构造命题布尔代数{0,1},∨,∧,﹁,0,1上的下列布尔函数的真值表
(1) f(x,y,z)=x∧(y∨z)
x y z (y∨z) x∧(
您可能关注的文档
- 实验MATLAB环境的熟悉与基本运算.doc
- 宇宙地质学.doc
- 实验MATLAB软件简介.doc
- 实验MAPLE基础向量代数与行列式.doc
- 实验RIP路由协议的配置报告.doc
- 实训项目报告TCPIP诊断.doc
- 宝山嘉定模物理含答案.docx
- 实验七RIP配置与RIP协议分析.doc
- 实验TCPIP属性设置与测试.doc
- 实验DESS配置Spanningtree.doc
- 2025年生态湿地公园生态修复与生态景观设计创新可行性分析报告.docx
- 2026年保定市唐县人民医院公开招聘工作人员25人备考题库及1套参考答案详解.docx
- 社区居家养老服务中心标准化建设与互联网+创新模式2025年可行性分析.docx
- 2026年保定市唐县人民医院公开招聘工作人员25人备考题库参考答案详解.docx
- 2026年无人驾驶技术在港口物流创新应用报告.docx
- 2026年保定市博物馆招聘备考题库附答案详解.docx
- 2026年保定市博物馆招聘备考题库有答案详解.docx
- 2026年保定市博物馆招聘备考题库带答案详解.docx
- 2026年保定市博物馆招聘备考题库完整答案详解.docx
- 2026年保定市博物馆招聘备考题库完整参考答案详解.docx
原创力文档

文档评论(0)