Последовательность логико-вероятностных расчетов надежности резервированных сист