In the conditional probability approach for complex system reliability evaluation, we concluded that: RS = RS | E good RE + RS | E bad QE First show that the above is equivalent to: RS = RS | E bad + RE (RS | E good – RS | E bad) Using the latter and the minimal tie equivalent network or the minimal cut equivalent network for a reliability network diagram, prove that RS is greater or equal to RS | E bad.