安全系统工程08事故树分析.pptVIP

3 、表决门的结构函数 m/n x 1 x 2 x n 2/3 表决门 ) ( ) ( ) ( 3 2 3 1 2 1 x x x x x x Z ? ? ? ? ? ? 逻辑关系式 结构函数 ) , , m ax ( ) 1 )( 1 )( 1 ( 1 ) 3 2 3 1 2 1 3 2 3 1 2 1 x x x x x x x x x x x x （X ? ? ? ? ? ? ? ? A 运算律 并集（逻辑加）的关系式 交集（逻辑乘）的关系式 交换律 结合律 分配律 等幂律 吸收律 互补律 回归律 A ∪ B=B ∪ A A ∩ B=B ∩ A A ∪ （ B ∪ C ） = （ A ∪ B ） ∪ C A ∩ （ B ∩ C ） = （ A ∩ B ） ∩ C A ∪ （ B ∩ C ） = （ A ∪ B ） ∩ （ A ∪ C ） A ∩ （ B ∪ C ） = （ A ∩ B ） ∪ （ A ∩ C ） A ∪ A=A A ∩ A=A A ∪ （ A ∩ B ） =A A ∩ （ A ∪ B ） =A A ∪ =1 A ∩ =0 =A 德 · 摩根律 ? A ? A ? ? ? ? F B A F B A ? ? ? ? ? ? ? ? ________ __________ ? ? ? ? F B A F B A ? ? ? ? ? ? ? ? ________ _