The present invention is a fault tree analysis system which has a k/n gate logical conjunction elimination means for eliminating a logical conjunction that includes a disjointed basic and simple k/n, and eliminating a logical conjunction having a rank which is greater than the maximum rank of the minimal cut-set.
展开▼