- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
1.事故树分析基础(教材P130) PPt 2-2-026插件
(1)布尔代数基本运算律
定义:由元素a,b,c,······组成的集合B称为一个布尔代数,如果B中定义了两个二元运算 + 与·(分别称为加法和乘法),它们具有以下基本运算性质:
1)结合律:(A+B)+ C = A +(B+C) (A?B)?C=A?(B?C)
2)交换律:A+B=B+A A?B=B?A
3)分配律:① A?(B+C)=A?B+A?C
② A+(B?C)=(A+B)?(A+C)
4)互补律:A+A=1 A
5)对合律:(A)=A
6)幂等律:A?A=A A+A=A
7)重叠律:A+AB =A+B= B+BA
(A+AB =A+B=B+A B+BA=B+A=A+B)
8)吸收律:A+AB=A A?(A+B) = A
9)德·摩根律:(A+B) =AB (AB)=A+B
以上的运算方法中有些运算与普通代数是相同的,如交换律、结合律、第一种分配律;然而与普通代数相比,有些运算律则不同,如幂等律、第二种分配律,另外,在普通代数中没有求补运算,因此也就没有互补律、对合律、德?靡根定律。
虽然布尔代数的运算和普通代数不尽相同,但它们与集合的运算律却完全一致。它们有如下定理:
·定理:任意集合E的一切子集所组成的集合对于并、交、补运算构成一布尔代数。空集和全集合分别为它的“零”元素和“单位”元素(就事故树逻辑关系来理解,就是“0”和“1”即事件“发生”和“不发生”两种状态)。
(2)布尔代数作为二值代数的特殊定义和性质:
· 布尔代数是一种二值代数,这是仅包含0和1两个元素的集合,因为只有0和1(分别称为零元素和单位元素),其中加法、乘法和补运算分别有以下定义和性质。
·定义:
0+0=0 , 1+1=1
0+1=1+0=1
0?0=0 , 1?1=1
0?1=1?0=0 , 1?1=1
1=0 0=1
·性质:
a+0=0+a=a a?????1=1?a=a
a+1=1+a=1 (无论a代表1还是0,与1相加都等于1)
(3)布尔代数有如下定理:
·定理1:零元素是唯一的
因为:0+0=0,0?0=0,任何一个元素,无论它有几个0,经演算,只有一个“零”。
·定理2:单位元素1是唯一的。与定理1同理。
·定理3:a的补a是唯一的, a是a的补元素。
证明:设a有两个补a1 a2,则:
a1 = a1+0 (根据性质:a+0 =a)
= a1+a?a (互补律:a?a= 0)
=(a1+a) (a1+ a2) (分配律: A+(B?C)=(A+B)?(A+C)
= (a +a1) (a1+ a2) (交换律)
=1?(a1+ a2) (互补律:a+a= 1)
= a1+ a2
同理可证: a2 = a2+ a1
(以上公式演算证明了a1=a1+ a2, a2= a2+ a1,即证明了a的补a的唯一性)
·定理4:零元素与单位元素是互补的, a补写作a=0,0补写作0=1,即:
0=1 1=0
证明: 0+0=1 (互补律:a+a= 1)
0+0=0 (根据幂等律:0+a =a)
用事故树的逻辑关系解释互补律:
在由元素A,B…组成的事故树的割(径)集的集合里,任何一个元素只有两种状态,我们赋予其 “是”和“否”两种相反的含意, 以A,B和A, B… (或A,B…)和(A,B…)来表示,在运算中以“1”和“0”表示。
·互补律:A+A= 1 A
因为:A为
因为:A为1, A为0,
所以:A·A=1·0=0
因为:A为1, A为0,
所以:A+A = 1+0 =1
·定理5:(即对合律): 每个元素都有:
(a) =a
证明: 根据0元素和1元素都题唯一的,互为补元素。在事故树的各事件中, A 是表示A的相反状态,A 与A互为相反状态。那么,(A)则是A 的相反状态,A 的相反状态又返回为A。所以(A) =A。
因为0和1互为补,即0元素的补为1,1元素的补为0,其补再补回到原位。据此有了互补律:
a+a=1 (其中必有一个元素为1,1+任何数=1)
a?a=0 (其中必有一个元素为0,0 X任何数=
文档评论(0)