Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов

Доказано, что любую (почти любую) булеву функцию от $n$ переменных можно реализовать схемой из функциональных элементов в базисе «конъюнкция, дизъюнкция, импликация, отрицание», допускающей условный полный диагностический тест глубины не более $n$ (соответственно не более $n-1$) относительно константных неисправностей типа $0$ на выходах элементов.