Рассматривается задача последовательной двухблочной разделительной декомпозиции системы полностью определенных булевых функций. Предлагается метод поиска разбиения множества аргументов на подмножество связанных и подмножество свободных аргументов. Метод основан на испольовании аппарата покрытий троичной матрицы.