Исследуются невозможные переходы разностей функций x ⊕ y ⊕ z, где ⊕ — сложение по модулю 2^n, x, y, z ∈ F_2^n. Основное внимание уделяется построению таких разностных соотношений с помощью слов-запретов — весовое слово разностного соотношения анализируется на наличие определённых запрещённых подходов. Описаны все подслова-запреты, определяющие невозможные переходы разностей для произвольного n. Доля невозможных переходов, определяемых запретами, при n = 32 составляет 61 %. Установлено необходимое условие невозможности разностного перехода, связанное с наличием координат веса 1 или 3.