单选题：故障树分析中，逻辑与被认为是（）模型