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

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

(x1→x2) ∧ (x1→y1) = 1

(x2→x3) ∧ (x2→y2) = 1

(x7→x8) ∧ (x7→y7) = 1

(x8→y8) = 1

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

В ка­че­стве от­ве­та Вам нужно ука­зать ко­ли­че­ство таких на­бо­ров.

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

Ре­ше­ние.

Возь­мем пер­вое усло­вие (x1→x2) ∧ (x1→y2) = 1. Пре­об­ра­зо­вав им­пли­ка­ции, по­лу­чим: (¬x1 ∨ x2) ∧ (¬x1 ∨ y1) = 1. Урав­не­ние вы­пол­ня­ет­ся тогда и толь­ко тогда, когда (¬x1 ∨ x2) = 1 и (¬x1 ∨ y1) = 1.

Таким об­ра­зом, в двух на­бо­рах из 8 цифр x1, x2, ... x8, y1, y2, ... y8, дей­ству­ют пра­ви­ла:

1.  После еди­ни­цы идут толь­ко еди­ни­цы.

2.  После нуля идут нули или еди­ни­цы.

 

Тогда по­лу­ча­ем такой набор для x1, x2, ... x8 для таких усло­вий усло­вий (x1→x2)=1; (x2→x3)=1 ... (x7→x8)=1:

\beginalign 0 0 0 0 0 0 0 00 0 0 0 0 0 0 1 0 0 0 0 0 0 110000011100001111000111110011111101111111 11111111\endalign .

 

Оста­ет­ся найти воз­мож­ные зна­че­ния y после со­от­вет­ству­ю­щих зна­че­ний x для таких усло­вий (x1→y1)=1; (x2→y2)=1 ... (x8→y8)=1:

Тут дей­ству­ют те же два пра­ви­ла, а это зна­чит, что в каж­дом на­бо­ре, где зна­че­ние x = 0, со­от­вет­ству­ю­щий y может быть, либо 1, либо 0.

По­это­му, пер­во­му на­бо­ру x: 0 0 0 0 0 0 0 0 со­от­вет­ству­ю­щий y может быть равен 1 или 0. Имеем 28 = 256 на­бо­ров y.

На­бо­ру 0 0 0 0 0 0 0 1 при­хо­дит­ся 27 = 128 на­бо­ров y. Чтобы по­лу­чить ответ, сум­ми­ру­ем зна­че­ния сте­пе­ней двой­ки с вось­ми до нуля:

28 + 27 + 26 + 25 + 24 + 23 + 22 + 2 + 1 = 511.

 

Ответ: 511.

Источник: Стат­Град: Тре­ни­ро­воч­ная ра­бо­та 28.11.2017 ИН10203