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

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