2.4.3 故障树的割集