10
Символы ИЛИ и И для булевой алгебры могут быть выражены другими символами, соответствующими используемым языкам компьютерных программ. В этом случае необходимо соблюдать логику символов.
Для дерева неисправностей, представленного на рисунке 1, можно записать следующие логические выражения:
С = D + Е,
.
Применяя дистрибутивный закон, получаем выражение:
.
7.5.3.2 Применение булевой алгебры к минимальным вырезкам
Выражение для вершины событий может быть записано в терминах конечного числа минимальных вырезок р, которые являются уникальными для этой вершины событий.
Общая формула для описания вершины событий
,
где Т - вершина событий;
Mi - минимальные вырезки, каждая из которых состоит из комбинации определенных компонентов неисправностей. Общий минимальный набор вырезок можно записать в виде выражения
,
где Хi - основное событие дерева,
с - количество основных событий в минимальной вырезке М.
Рассмотрим дерево неисправностей, изображенное на рисунке 1. Минимальные наборы вырезок для вершины событий в этом случае - 
и 
.
8. Идентификация и маркировка
Каждое событие в дереве неисправностей должно быть идентифицировано. События должны быть маркированы так, чтобы ссылки из дерева неисправностей к соответствующей проектной документации и обратно были понятны и легко выполнимы.
Вершина событий дерева неисправностей является нежелательным событием, которое является первичной причиной для проведения анализа дерева неисправностей. Необходимо отметить, что у каждого дерева неисправностей может быть только единственная вершина событий.
Если несколько событий в дереве неисправностей относятся к различным режимам отказа одного и того же элемента, то такие события должны быть маркированы так, чтобы их можно было различать, но должно быть ясно, что это - группа событий, связанных с одним и тем же элементом.
Если конкретное событие, например неспособность специфического клапана закрываться, имеется в нескольких местах дерева или в нескольких деревьях, то такие места должны иметь одинаковую маркировку. Однако события, которые являются подобными, но включают различные элементы, не должны быть одинаково идентифицированы.
Типичный код события должен содержать информацию, касающуюся идентификации системы, идентификации элемента и режима отказа.
Дерево неисправностей является диаграммой, в которой события связаны логическими клапанами. Каждый клапан имеет одно событие выхода, но одно или более входных событий.
Входные события указывают возможные причины и условия для событий выхода. Однако такая связь не обязательно определяет последовательные во времени отношения между