Сколько имеется различных решений уравнения \[\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\] в переменных \(t_1\) ,..., \(t

Задание

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

\[\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\]

в переменных \(t_1\) ,..., \(t_8\) ?