Некоторые верхние оценки длин единичных проверяющих тестов относительно транспозиций переменных булевых функцийстатья