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

Рассматривается функция Шеннона, характеризующая длину минимального проверяющего теста, для суперпозиций булевых функций от элементарных однородных функций (константа, отрицание, конъюнкция, дизъюнкция, сложение по модулю 2). Выявляется класс исходных логических функций, на суперпозициях которых указанная функция Шеннона достигается. На основе изучения свойств таблиц различимости предложен общий подход к решению подобных задач.