简介： 本发明提出一种由故障树的Boole函数获取顶事件最小割集，并对最小割集进行不交化处理的计算机实现方法。不交化处理的基本方法是将一个事件分割为子事件及其对立事件的和，并通过对相交事件的若干次如此的运算，直到分割为不交事件。计算机实现的方法是将最小割集映射为n维向量的一个集合，通过在该集合中定义一种与最小割集间交运算相对应的运算实现的。本发明具有如下特点：(1)只要对最小割集进行编码，输入计算机即可由计算机自动实现最小割集的不交化处理，自动化程度高，不需要人工干预；(2)优先选择底事件最少的最小割集作为不交最小割集，减少了不交化处理之后最小割集的个数，使顶事件失效概率的计算更加简单。