Решение логических уравнений

Выберите все наборы переменных \(t_1\),..., \(t_8\), являющихся решениями уравнения \(\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.\)

Сколько решений имеет уравнение: (X1 → X2) ˄ (X2 → X3) ˄ (X3 → X4) ˄ (X4 → X2) ˄ (X4→ X5) = 1?

Сколько решений имеет уравнение (¬X1 ˅ X2) ˄ (¬X2 ˅ X3) ˄ (¬X3 ˅ X4) ˄ (¬X4 ˅ X5) ˄ (¬X5 ˅ X1) = 1?