Автоматизированный логико-вероятностный расчет надежности параллельно-последоват