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