A técnica de árvores de falhas é uma das principais ferramentas empregadas em confiabilidade e análise de risco para o suporte nas tomadas de decisão e controle de gestores na busca da garantia da execução satisfatória das funções de um dado sistema e seus componentes, considerando as condições ambientais e de operação. Um dos principais problemas referentes à análise de árvores de falhas atualmente enfatizados na literatura refere-se à construção de procedimentos que aliem eficiência computacional e precisão quando do cálculo da probabilidade de ocorrência do evento topo da árvore, probabilidade esta geralmente considerada como a probabilidade de falha do sistema. Este trabalho sugere uma maneira de tratar deste problema de inferência através da remoção prévia das redundâncias da árvore e da subseqüente aplicação de algoritmos recursivos. Demonstra-se também a maior precisão do método proposto em relação a técnicas tradicionais. O procedimento proposto é ilustrado através de um exemplo.