33. Логический анализ дерева отказов

Цель этого раздела состоит в изложении процедуры анализа логической структуры процессов. Методология такого анализа основана на понятиях булевой алгебры или алгебры логики.

В алгебре логики переменные, обозначаемые заглавными буквами, имеют, как правило, смысл некоторых событий или фактов. Например, можно обозначить символом A событие, состоящее в повреждении некоторой детали машины. Если это происходит, то мы говорим, что A = T или что A истинно. Если событие не происходит, говорим, что – A=F или что A ложно. Для удобства в алгебре логики принято обозначать символом 1 истину (появление) и символом 0 ложь (непоявление). Вообще говоря, такие высказывания справедливы для некоторого определённого интервала времени и вероятности, связанной с появлением события.

Переменные в алгебре логики принимают два значения: истина или ложь (появление или непоявление). Аналогично и функции принимают два значения в зависимости от комбинации логических переменных. Функции образуются с помощью операций И, ИЛИ и НЕ.