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

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