6.4.3 故障树简化和验证