Рассматривается моделирование диагностики оборудования, интерпретируемого как логическая структура. Диагностика осуществляется в рамках последовательной процедуры либо приостанавливаемой в случае индикации неисправности, либо выявляющей комбинации бинарных ходов.
