O método de análise de causas de acidentes denominado Análise da Árvore de Falhas — AAF ou FTA — é técnica dedutiva que parte do evento indesejado — topo da árvore — e desdobra regressivamente as causas contribuintes por meio de portas lógicas AND e OR até os eventos básicos. A porta lógica que representa a condição na qual o evento de saída ocorre somente quando TODOS os eventos de entrada ocorrem simultaneamente, sendo utilizada para modelar redundâncias e barreiras de proteção independentes em série, é a porta: