事件A：阵列中的目标硬盘正常工作
事件B：阵列中除目标硬盘外的其他硬盘正常工作
事件C：阵列中的目标硬盘正常提供数据服务


raid1: 事件c等价于事件a，事件非c等价于事件非a
其他raid：事件c等价于事件a*b，事件非c等价于（a*非b+非a）
--
FROM 220.173.25.*