Некоторые системы логических уравнений неудобно решать в таком виде, в котором они даны. Чтобы упростить систему, можно её перекомбинировать.
В системе логических уравнений каждое уравнение не должно быть противоречивым при подстановке переменных. Значит, если каждое уравнение истинно, систему можно представить в виде конъюнкции всех уравнений. Из этого уравнения можно составить уже новую, более удобную для метода отображения, систему.
Если каждое уравнение ложно, систему можно представить в виде дизъюнкции всех уравнений. Аналогично, из этого уравнения можно составить уже новую, более удобную для метода отображения, систему.
Рекомбинация используется, чтобы привести систему к правильному порядку переменных или чтобы сделать уравнения в системе однотипными.