We have the permutation $\pi: (1, \ldots , k, k+1, \ldots , k+\ell) \mapsto (k+1, \ldots , k+\ell, 1, \ldots , k)$.
Is the following correct? Or should I use in an other way the permutation?
$$\psi_1\land \ldots \land \psi_k\land n_1\land \ldots \land n_{\ell}=n_{\pi(k+1)}\land \ldots \land n_{\pi(k+\ell)}\land \psi_{\pi(1)}\land \ldots \land \psi_{\pi(\ell)} \\ =\text{sign}(\pi)\cdot n_{k+1}\land \ldots \land n_{k}\land \psi_{1}\land \ldots \land \psi_{\ell}$$