Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск27
Для удобства отождествим блоки с наборами булевых значений, которые они порождают. Каждый такой блок будет упорядочен в порядке возрастания, потому что в конструкции не будет других преобразований, кроме слияния уже упорядоченных блоков.