О единичных тестах для функциональных элементов

Рассматриваются задачи проверки исправности и диагностики состояний $N$ функциональных элементов, реализующих в исправном состоянии заданную булеву функцию $f(x_1,\ldots,x_n)$, путём составления из них схем с одним выходом и анализа выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускается произвольная константная неисправность на выходе любого одного функционального элемента. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. В работе получены точные значения для минимально возможного числа указанных схем.