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

Доказано, что для любого натурального $k$ любую булеву функцию можно реализовать двухполюсной контактной схемой, $k$-неизбыточной и допускающей $k$-проверяющий тест длины не более $3$ относительно произвольных связных неисправностей контактов в группах, где каждая группа состоит из одного замыкающего и одного размыкающего контакта. Установлено, что если булева функция не является самодвойственной, то оценку можно понизить до $2$.