Выходная фунция записывается таким образом, что каждому элементу записывается пара скобок с этим элементов. Аргументом являются входные переменные.
Скобки раскрываются запись производится в нормальной дизъюнктивной форме, но индексы приписываются переменным. При этом каждая переменная указывает полный путь от входа до выхода. Таким образом строится нормальная эквивалентная форма.
Определяется путь на котором неисправность лежит.
Условие существования пути задается таким образом, чтобы в одном терме, где находится выбранная переменная. Все переменные доопределялись до единицы. А в остальных термах хотя бы одна переменная определялась до нуля. Рис.
