单项选择题

A.全概公式法
B.最小割集法
C.状态空间法
D.状态列举法