Начиная с 1:
MTBF/(MTBF + MTTR)
MTBF означает среднее время между отказами, а MTTR - среднее время на ремонт.
Подумайте об этих же числах немного по-другому:
Разделите одно на другое, и часть "в среднем" отменится, и вы получите результат:
time available / time supposed to be available
Это то, о чем в любом случае говорил 2.
Если вы хотите еще больше запутаться в этих различных способах мышления о вероятности, я предлагаю вам прочитать о байесовской вероятности.=
Рекомендую посмотреть эти видео для лучшего погружения в вопрос: