高可用性システムにおいて、MTBF(平均故障間隔)とMTTR(平均修復時間)を用いて稼働率を表す式はどれか。

稼働率は、全運用時間(MTBF+MTTR)に占める稼働時間の割合。