Задания
Версия для печати и копирования в MS Word
Тип Д23 № 19072
i

Сколь­ко су­ще­ству­ет раз­лич­ных на­бо­ров зна­че­ний ло­ги­че­ских пе­ре­мен­ных x1, x2, ...x8, y1, y2, ...y8, ко­то­рые удо­вле­тво­ря­ют всем пе­ре­чис­лен­ным ниже усло­ви­ям?

(¬(x1 ≡ y1)) ≡ (x2 ≡ y2)

(¬(x2 ≡ y2)) ≡ (x3 ≡ y3)

(¬(x7 ≡ y7)) ≡ (x8 ≡ y8)

 

В от­ве­те не нужно пе­ре­чис­лять все раз­лич­ные на­бо­ры зна­че­ний пе­ре­мен­ных x1, x2, ...x8, y1, y2, ...y8, при ко­то­рых вы­пол­не­на дан­ная си­сте­ма ра­венств. В ка­че­стве от­ве­та Вам нужно ука­зать ко­ли­че­ство таких на­бо­ров.

Спрятать решение

Ре­ше­ние.

Решим за­да­ние ме­то­дом отоб­ра­же­ний (Про­чи­тать про метод отоб­ра­же­ний). Сна­ча­ла рас­смот­рим пары x1y1 и x2y2.

 

x1y1x2y2
0000
0101
1010
1111

 

Для пер­вой стро­ки x1y1 ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x2y2 будет при­ни­мать зна­че­ния 01 и 10.

Для вто­рой стро­ки x1y1 ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x2y2 будет при­ни­мать зна­че­ния 00 и 11.

Для тре­тей стро­ки x1y1 ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x2y2 будет при­ни­мать зна­че­ния 00 и 11.

Для четвёртой стро­ки x1y1 ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x2y2 будет при­ни­мать зна­че­ния 01 и 10.

 

При­ме­ним это для осталь­ных пар:

 

x1y1x2y2x3y3x4y4x5y5x6y6x7y7x8y8
001248163264128
011248163264128
101248163264128
111248163264128

 

Таким об­ра­зом, ко­ли­че­ство ре­ше­ний будет равно 128 плюс 128 плюс 128 плюс 128 = 512.

 

Ответ: 512.

Источник: Де­мон­стра­ци­он­ная вер­сия ЕГЭ−2020 по ин­фор­ма­ти­ке