Условие:
Сколько существует различных наборов значений логических переменных x1, x2, ... x7, y1, y2, ... y7, которые удовлетворяют всем перечисленным ниже условиям?
(¬ x1≡ y1) → (¬x2 ʌ y2)=1
(¬ x2≡ y2) → (¬x3 ʌ y3)=1
…
(¬ x6≡ y6) → (¬x7 ʌ y7)=1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ... x7, y1, y2, ... y7, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.
