用递归BDD技术分析故障树

Analyzing Fault Tree by Using Method of Recursive BDD Technique