Для дискретных (бесконтактных) устройств автоматизированных систем характерны логические неисправности, связанны с изменением функций логических элементов. Проявление таких неисправностей связано с подачей на выход элемента или фиксацией на его выходе постоянного сигнал 0 или 1.
Для уменьшения вероятности отказа на практике используют резервирование с применением, так называемых, восстанавливающих органов (ВО), которые реализуют пороговую функцию Mrr
где r - число параллельно работающих однотипных логических элементов (совокупность основных и резервных элементов);
r - порог ВО, показывающий сколько логических элементов должны выдавать сигнал 1, чтобы на выходе ВО также был единичный сигнал;
yi - выходной сигнал i –го логического элемента (yi = 0 v 1).
В общем случае восстанавливающий орган может корректировать ошибки по «1» и «0» в количестве ( – 1) и (r – ) соответственно.
В предположении абсолютной надёжности самого восстанавливающего органа вероятность отказа по «0» определяется формулой
Q0 = ,
а вероятность отказа по «1» - формулой
Q1 = ,
где q0, q1 – вероятность отказов соответственно по «0» и «1» одного неизбыточного логического элемента (блока).
Так как вероятность безотказной работы, вероятность отказа по «0» и вероятность отказа по «1» образует полную группу событий, то
P + Q0 + Q1 = 1.