Задание#T4915

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