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

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