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

Доказано, что любую булеву функцию можно реализовать схемой из функциональных элементов в базисе $\{x\& y\& z, x\oplus y, 1\}$, допускающей полный диагностический тест длины не более $2$ относительно инверсных неисправностей на выходах элементов.