在系统安全分析方法中,事故树定性分析的最小割集的求法有多种,常用的有( )。 -