Вероятность логического отказа

Исходные события должны быть независимы и относиться к одному периоду. Зависимые отказы, общая причина и восстановление требуют другой модели: их нельзя учесть простым вводом отдельных вероятностей.

Повтор одной буквы в выражении означает одно и то же событие. Поэтому пересечение учитывается точно, а не как сумма вероятностей ветвей. Вводите доли от 0 до 1, а не проценты или интенсивность отказов.

Сформулируйте именно событие отказа системы. Результат показывает вероятность истинности этой формулы и дополнение до единицы — надёжность. Если формула описывает работоспособность, смысл этих подписей уже не соответствует вашей модели.

Допускаются от 1 до 6 событий. Буквы в формуле должны точно соответствовать первым латинским буквам по числу строк: нельзя пропускать буквы или добавлять неописанные события. Вероятности от 0 до 1 включительно задаются в том же порядке.

Поддерживаются отрицание, И, ИЛИ, исключающее ИЛИ, импликация и эквивалентность, а также скобки. Калькулятор перебирает все сочетания истинности: их число равно двум в степени числа событий.

Вес состояния = Произведение вероятностей произошедших событий
  * Произведение дополнений вероятностей остальных событий
Вероятность отказа = Сумма весов состояний с истинной формулой
Надёжность = 1 - Вероятность отказа

Внутри каждого состояния событие имеет единственное значение, сколько бы раз его буква ни встретилась в формуле. Перебор учитывает пересечения без приближения для редких отказов. Вероятность отказа и надёжность выводятся с шестью знаками после точки, веса состояний — с десятью.

В первом контрольном примере отказ означает первое ИЛИ второе событие с вероятностями 0,1 и 0,2. Вероятность их пересечения равна 0,02; итог равен 0,1 + 0,2 - 0,02 = 0,280000. Надёжность составляет 0,720000.