Описываются методики решения задач оценки надежности систем, состоящих из элементов с тремя состояниями. Показано, что развитие логико-вероятностных методов (ЛВМ), позволяет устранить такие недостатки ЛВМ, как анализ лишь двух состояний у элементов системы и только в предположении их независимости. На примере двух моделей влияния отказов элементов на надежность системы рассматривается методика решения задач с использованием ПК АРБИТР, программно реализующего возможности аппарата групп несовместных событий (ГНС), разработанного в рамках общего логико-вероятностного метода (ОЛВМ). В приложениях доказаны и описаны преобразования логических и вероятностных функций для несовместных событий.
отказ типа «обрыв», отказ типа «замыкание», группа несовместных событий, эквивалентированные схемы, преобразования логических и вероятностных функций