- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
5.2 布尔表达式
* 11.2 布尔表达式与布尔函数 定义 设B,∨,∧,’,0,1是布尔 代数,如下递归定义B上布尔表达式 (1)布尔常元和布尔变元(取值于 布尔代数B的常元和变元)是布尔 表达式.通常布尔常元用a,b,c表示 布尔变元用x,y,z表示。 (2)如果e1, e2为布尔表达式, 那么(e1’),( e1∨e2),( e1∧e2)也都是 布尔表达式。 (3)除有限次使用条款(1)(2)生成的 表达式是布尔表达式外, 没有别的布尔表达式。 为了省略括号,我们约定运算’的 优先级高于运算∨和∧, 并约定表达是最外层括号省略。 例 设{0,1,2,3},∨,∧,’,0,1是一个 布尔代数,那么 ((2∨3)’∧(x∨y)∧(x∨z)’) 一个变元布尔表达式 0∧x (1∨x’)∧y 两个变元布尔表达式 三个变元布尔表达式 常用f(x1, x2,…, xn), g(x1, x2,…, xm) 等表示含有n个变元或m个变元的 布尔表达式。 给定布尔表达式并确定其中变元 的取值后,该表达式对应于一个确 定的B中的元素, 该元素就是布尔表达式的值。 定义 布尔表达式f(x1, x2,…, xn) 所定义的函数 称为布尔函数。 例 设{0,1,a,b},∨,∧,’,0,1是一个 布尔代数,其上有表达式 f(x1, x2)=( x1’∨a)∧x2 f(x1, x2, x3)= ( x1∧x2∧x3)’∨(x1∧x2’∧x3’) 则有: f(1, b) =(1’∨a)∧b = a∧b=0 f(a, b,0)=(a∧b∧0)’∨(a∧b’∧0’) =0’∨(a∧a)=1 定义 布尔表达式 a1∧a2∧…∧an 称为n个变元的极小项,其中ai为 变元xi或xi’。 布尔表达式 a1∨a2∨…∨an 称为 n个变元的极大项,其中ai为变元 xi或xi’。 n个变元极小项和极大项各有2n个 极小项 极大项 满足以下性质: 定义 布尔表达式f(x1, x2,…, xn) 的主析取范式和主合取范式分别 指下列布尔表达式: 其中,ai为布尔常元,mi和Mi分别 是极小项与极大项,且两式对 x1, x2,…, xn一切的取值均与 f(x1, x2,…, xn)等值。 求主析取范式和主合取范式方法 将布尔常元看作变元,做同样处理 利用德摩根律将运算符号’深入到 每个变元(常元)上。 利用分配律展开。 构成极小项或极大项缺少变元x时 加合取项(x∨x’)或析取项(x∧x’) 处理 计算合并常元、变元和表达式 (只要可能,这一步骤可随时进行) 例 求布尔代数{0,1,a,b},∨,∧,’,0,1 上的布尔函数: f(x1, x2)= ( (a∧x1)∨(b∨x1)’ )∧(x1∨x2) 的主析取范式和主合取范式。 解: f(x1, x2)= ( (a∧x1)∨(b∨x1)’ )∧(x1∨x2) f(0, 0)= 0 f(1, 0)= a f(1, 1)= a f(0, 1)= a 主析取范式 主合取范式 另解 主析取范式为: f(x1, x2)= ( (a∧x1)∨(b∨x1)’ )∧(x1∨x2) = ( (a∧x1)∧(x1∨x2) )∨( (b’∧x1’) ∧(x1∨x2) ) = (a∧x1)∨(a∧x1∧x2)∨ (b’∧x1’∧x1)∨(b’∧x1’∧x2) = (a∧x1)∨(b’∧x1’∧x2) = ( (a∧x1)∧(x2∨x2’ ) )∨(b’∧x1’∧x2) = (a∧x1∧x2)∨(a∧x1∧x2’ ) ∨(a∧x1’∧x2) 主合取范式为: f(x1, x2)= ( (a∧x1)∨(b∨x1)’ )∧(x1∨x2) =( (a∧x1)∨(b’∧x1’ ) )∧(x1∨x2) = ( (a∧x1)∨b’ )∧( (a∧x1)∨x1’ )∧(x1∨x2) = (a∨b’ )∧(b’∨x1)∧(a∨x1’ ) ∧(x1∨x2) = a∧(a∨x1)∧(a∨x1’ )∧(x1∨x2) (b’=a) = a∧(x1∨x2) =(a∨x1∨x2)∧( a∨x1∨x2’ ) ∧( a∨x1’∨x2)∧( a∨x1’∨x2’ ) ∧(x1∨x2 ) = (x1∨x2 )∧( a∨x1∨x2’ ) ∧( a∨x1’∨x2)∧( a∨x1’∨x2’ ) 从主析取范式和主合取范式定义 可看出,B,∨,∧,’,0,1的不同的 n元主析取范式和主合取范式分别 *
您可能关注的文档
最近下载
- 2025-2026年国家公务员考试《申论》真题及参考答案.doc VIP
- 川教版(2019)初中信息科技Python编程复习单.docx VIP
- DTII(A)带式输送机计算书(带表1-4)Ver1.2(95版)(2012.12.18).xls VIP
- 医疗器械经营财务管理培训.pptx VIP
- 麻醉前肺功能评估.ppt VIP
- 新课标体育与健康水平二教案.pdf VIP
- 贵州教育出版社小学五年级上册综合实践教案.pdf VIP
- 博物馆学概论课件:博物馆藏品管理历史、藏品意义与藏品研究.pptx VIP
- 2025高中政治部编版选择性必修二《法律与生活》必背法律条文.pdf VIP
- SEO培训课件教学课件.pptx VIP
文档评论(0)