Модуль: Системы логических уравнений

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

Чтобы избежать противоречий, можно сохранять такие переменные, подставив в таблицу рядом с другими, и отображать, пока они не перестанут быть нужными. Теперь, если противоречия будут возникать, то их сразу можно будет устранить.