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