ИСТИНА

Рассматриваются задачи проверки исправности и диагностики состояний N базисных элементов схем - контактов либо функциональных элементов - путём составления из них схем и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности базисных элементов; при этом предполагается, что не более k элементов неисправны, где k – заданное натуральное число, не превосходящее N. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех базисных элементов. Получены различные верхние и нижние оценки для минимального числа указанных схем, а в ряде случаев найдены точные значения этого числа.