ИСТИНА

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