Аннотация:
Доказано, что любую булеву функцию можно реализовать неизбыточной схемой из функциональных элементов над произвольным конечным полным базисом, допускающей единичный диагностический тест длины не более 4 относительно инверсных неисправностей на выходах элементов.
Ключевые слова:схема из функциональных элементов, единичный диагностический тест, инверсная неисправность на выходе элемента, функция Шеннона, легкотестируемая схема.