单项选择题

A.状态列举法
B.最小割集法
C.故障树分析法
D.全概公式法