Ordering rules presented applicable for most FTA cases can reduce the number of BDD nodes by almost half.

• 该文提出的三条排序法则，对基本事件的排序有明显的帮助，可使二元决策图结点数减少约二分之一。