寫清路線邏輯
假設成功要R及A、B任一路線，即R且（A或B）。全部原可用，故障只影響指定組件，沒有暗設連接；兩條應用路線不能代R。
| 不可用 | 剩餘條件 | 服務 |
|---|---|---|
| A | R且B | 可用 |
| B | R且A | 可用 |
| R | 否且（A或B） | 停止 |
每次移除一個組件
- 保留且與或的意思
- 故障組件設為否
- 核完整邏輯式
不能自行加未列的替代R。
哪個單一故障令兩條路都停？
查看參考答案
R。A或B單獨失效仍有另一路，兩條都要R；本例單組件截斷集合是R。
找共同截斷點
| 個案 | 決定 | 理由 |
|---|---|---|
| A不可用 | 仍可用 | R與B仍在 |
| R不可用 | 服務停 | 共同前置欠缺 |
討論加路線時保留依賴圖；第三條若也要R，仍補不到此截斷點。