Cette Unité applique les concepts Booléens aux diagrammes de fiabilité et aux arbres de défaillance : analyse qualitative (coupes minimales) et calculs probabilistes (diagrammes binaires de décision). Elle introduit ensuite la variable temps, étudie la combinaison avec les processus de Markov et compare les calculs de disponibilité (faciles) aux calculs de fiabilité (difficiles).