Построение проверяющего теста

Согласно исходных данных, F = {3,4,5,6,7} abc, или F = {011,100,101,110,111}.

В схеме реализуется функция

Синтезируем схему в полном базисе:

Рисунок 5 – Комбинационная схема, реализующая функцию

Данная схема содержит 6 компонентов и 12 неисправностей

Рис.6 – Комбинационная схема собранная на логических элементах И-НЕ

Рис.7 – Комбинационная схема собранная на логических элементах ИЛИ,

ИЛИ-НЕ

Для каждого логического элемента нанесем графы эквивалентных неисправностей и укажем отношения импликации между неисправностями, т.е. установим отношения между неисправностями для всей схемы, и пронумеруем неисправности (рис. 8):

Рисунок 8 – Комбинационная схема с изображением граф эквивалентных неисправностей и указанием отношения

импликации между неисправностями

В результате выполнения данной операции сокращаем список неисправностей с 12 до 4.

Найдем функции неисправностей:

Составим ТФН (таблица 10), в которую включим все пронумерованные неисправности.

Таблица 10 - Таблица функций неисправностей

Вычислим проверяющие функции в соответствии с выражением (1.1):

φ₁ = 4v5v6

φ₂ = 3

φ₃ = 1

φ₄ = 2

В соответствии с выражением (1.2) вычислим проверяющий тест:

Т_п = φ₁ φ₂ φ₃ φ₄

Т_п = (4 v 5 v 6)123= 1234 v 1235 v 1236

Выражение содержит 3 минимальных теста:

Т_п1 = 1234,

Т_п2 = 1235,

Т_п3 = 1236.