Задание#T4861

Сколько существует различных наборов значений логических переменных x1x_1, x2x_2, \dots , x7x_7, y1y_1, y2y_2, \dots , y7y_7, которые удовлетворяют всем перечисленным ниже условиям?
(x1y1)(x1x2)¬(x1x2)=1(x_1 \rightarrow y_1) \wedge (x_1 \vee x_2) \wedge \neg(x_1 \wedge x_2) = 1
(x2y2)(x2x3)¬(x2x3)=1(x_2 \rightarrow y_2) \wedge (x_2 \vee x_3) \wedge \neg(x_2 \wedge x_3) = 1
\dots
(x6y6)(x6x7)¬(x6x7)=1(x_6 \rightarrow y_6) \wedge (x_6 \vee x_7) \wedge \neg(x_6 \wedge x_7) = 1
(x7y7)=1(x_7 \rightarrow y_7) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1x_1, x2x_2, \dots , x7x_7, y1y_1, y2y_2, \dots , y7y_7, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.
Показать разбор и ответ
Это задание составили эксперты «СтатГрада» для Яндекса
Яндекс.Репетитор пришёл на смену сервису Яндекс.ЕГЭ, и мы активно собираем отзывы пользователей. Пожалуйста, пишите нам через форму обратной связи.