The Fault Tree is first transformed to a BDD, and then cut sets are directly obtained.

• 先将故障树转化成二元决策图，然后通过遍历二元决策图直接获取割集。