Построение проверяющего теста с использованием отношения импликации

Отношение имплекации введено для упрощения построения проверяющео теста. Если и меются эквивалентные неисапрвности Nj, то можно р/м только неисправность Nj. При этом обеспечивается обнаружение и неисправности Nj.

Рассмотрим элемент ИЛИ (+рис) для него 2 импликации. 4 в 2 и 6 в 2. Приведём ТФН.

Вычисляем проверяющую функцию

Исходя из определения импликантных состояний

Рассмотрим отношение импликаций . Если при построении проверяющего теста Тп рассматривают неисправность 4, то в этот тест включается набор , а так как неисправность 4 и 2 входят в имплекация, то этот набор входит в состав проверяющей ф-ции , поэтому неисправность 2 обнаруживается и её можно не рассматривать в процессе вычисления. Для константных неисправностей функция, реализуемая неисправным элементом, может быть получена из функции исправного элемента, фиксацией в 1 или 0 её переменных. Для элемента ИЛИ-НЕ обрыв резистора