保通联合评估咨询股份有限公司

K₁₈={X₁，X₂，X₁₇,X₂₀}    K₃₈={X₁，X₃，X₁₇,X₂₀}

K₁₉={X₁，X₂，X₁₈,X₂₀}    K₃₉={X₁，X₃，X₁₈,X₂₀}

K₂₀={X₁，X₂，X₂₁,X₂₂}    K₄₀={X₁，X₃，X₂₁,X₂₂}

③求最小径集

利用布尔代数化简法求成功树的最小割集,即为事故树的最小径集：

T^/= X₁^/+A₁^/+A₂^/= X₁^/+X₂^/X₃^/+

X₄^/X₅^/X₆^/X₇^/X₈^/X₉^/X₁₀^/X₁₁^/X₁₂^/X₁₃^/X₁₄^/(X₁₅^/X₁₆^/X₁₇^/X₁₈^/+X₁₉^/X₂₀^/)(X^/₂₁+X₂₂^/)

=X₁^/+X₂^/X₃^/+X₄^/X₅^/X₆^/X₇^/X₈^/X₉^/X₁₀^/X₁₁^/X₁₂^/X₁₃^/X₁₄^/X₁₅^/X₁₆^/X₁₇^/X₁₈^/X₂₁^/

+X₄^/X₅^/X₆^/X₇^/X₈^/X₉^/X₁₀^/X₁₁^/X₁₂^/X₁₃^/X₁₄^/X₁₅^/X₁₆^/X₁₇^/X₁₈^/X₂₂^/

+X₄^/X₅^/X₆^/X₇^/X₈^/X₉^/X₁₀^/X₁₁^/X₁₂^/X₁₃^/X₁₄^/X₁₉^/X₂₀^/X₂₁^/

+X₄^/X₅^/X₆^/X₇^/X₈^/X₉^/X₁₀^/X₁₁^/X₁₂^/X₁₃^/X₁₄^/X₁₉^/X₂₀^/X₂₂^/

成功树的6个最小割集：{X₁^/}；{X₂^/，X₃^/}；{X₄^/，X₅^/，X₆^/，X₇^/，X₈^/，X₉^/，X₁₀^/，X₁₁^/，X₁₂^/，X₁₃^/，X₁₄^/，X₁₅^/，X₁₆^/,X₁₇^/，X₁₈^/，X₂₁^/}；{X₄^/，X₅^/，X₆^/，X₇^/，X₈^/，X₉^/，X₁₀^/，X₁₁^/，X₁₂^/，X₁₃^/，X₁₄^/，X₁₅^/，X₁₆^/,X₁₇^/,X₁₈^/，X₂₂^/}；{X₄^/，X₅^/，X₆^/，X₇^/，X₈^/，X₉^/，X₁₀^/，X₁₁^/，X₁₂^/，X₁₃^/，X₁₄^/，X₁₉^/，X₂₀^/，X₂₁^/}；{X₄^/，X₅^/，X₆^/，X₇^/，X₈^/，X₉^/，X₁₀^/，X₁₁^/，X₁₂^/，X₁₃^/，X₁₄^/，X₁₉^/，X₂₀^/，X₂₂^/}

即事故树的最小径集有6个:

P₁={X₁}

P₂={X₂，X₃ }

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65