Сколько имеется различных решений уравнения \[\left(\lnot t_{1}\equiv t_{2}\right)\wedge\left(\lnot t_{2}\equiv t_{3}\right)\wedge\ldots\wedge\left(\lnot t_{7}\equiv t_{8}\right)=1,\] в переменных \(x_1\) ,..., \(x_8\) , \(y_1\) ,..., \(y_8\) , если использовалась замена \[t_{i}=x_{i}\equiv y

Задание

Сколько имеется различных решений уравнения

\[\left(\lnot t_{1}\equiv t_{2}\right)\wedge\left(\lnot t_{2}\equiv t_{3}\right)\wedge\ldots\wedge\left(\lnot t_{7}\equiv t_{8}\right)=1,\]

в переменных \(x_1\) ,..., \(x_8\) , \(y_1\) ,..., \(y_8\) , если использовалась замена

\[t_{i}=x_{i}\equiv y_{i}, i = \overline{1,\dots,8}?\]