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

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