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

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