Сколько имеется различных решений уравнения \(¬t1 ​≡ t2​\) ∧ \(¬t2​ ≡ t3​\) ∧ … ∧ \(¬t7​ ≡ t8​\) = 1,
в переменных x1​, …, x8​ и y1​, ..., y8​ если использовалась замена ti​ = xi​ ≡ yi​ , i = 1,…, 8​?

• 512
• 64
• 256
• 128