다음의 FT도에서 몇 개의 미니멀 패스셋(minimal path set)이 존재하는가 상세 페이지

패스셋(path set)은 그 기본사상들이 모두 일어나지 않으면 정상사상이 일어나지 않는 기본사상의 집합이고, 그중 더 줄일 수 없는 것이 미니멀 패스셋이다.
이 FT도는 정상사상 T가 G1·G2로 이어지고 각 게이트가 (X1, X2)와 (X1, X3)를 받는 구조이므로, 불 대수로 정리하면 $T=X_1+X_2X_3$ 형태가 된다.
따라서 정상사상을 막는 최소 조합은 {X1} 과 {X2, X3} 로 미니멀 패스셋은 2개다.
컷셋이 ‘일어나면 사고가 나는 조합’이라면, 패스셋은 ‘막으면 사고가 안 나는 조합’이라는 점에서 서로 쌍대 관계다.