46.서로 독립인 기본사상 a, b, c로 구성된 아래의 결함수(Fault Tree)에서 정상사상 T에 관한 최소절단집합(minimal cut set)을 모두 구하면?

① {a, b}

정답: X

T=(a+b)·ac=ac+abc이고 abc는 ac에 흡수된다 — b는 필요 없으므로 {a, b}가 아니다.

② {a, c}

정답: O

T=(a+b)·(a·c)=a·c+a·b·c=a·c다 — a와 c가 함께 일어나야 T가 발생하므로 최소절단집합은 {a, c}다.

③ {b, c}

정답: X

a가 없으면 오른쪽 AND 게이트(a·c)가 성립하지 않는다 — b와 c만으로는 T가 일어나지 않는다.

④ {a, b, c}

정답: X

{a, b, c}도 T를 일으키지만 b를 빼도 T가 일어나므로 최소가 아니다 — 최소는 {a, c}다.

⑤ {a, c}, {a, b, c}

정답: X

{a, c}를 포함하는 {a, b, c}는 흡수되어 최소절단집합에서 빠진다 — 답은 {a, c} 하나다.