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

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

 

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

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

(x8→x9) ∧ (y8→y9) = 1

 

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

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

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

Ре­ше­ние.

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

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

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

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

 

Тогда по­лу­ча­ем такой набор для x1, x2, ... x9 и для y1, y2, ... y9:

\beginalign 00 0 0 0 0 0 0 000 0 0 0 0 0 0 1 00 0 0 0 0 0 11000000111000001111000011111000111111001111111 011111111111111111\endalign .

 

Сле­до­ва­тель­но, ко­ли­че­ство на­бо­ров 10 * 10 = 100.

 

Ответ: 100.