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

Сколь­ко су­ще­ству­ет раз­лич­ных на­бо­ров зна­че­ний ло­ги­че­ских пе­ре­мен­ных x1, х2, хЗ, х4, х5, хб, y1, у2, уЗ, у4, у5, у6 ко­то­рые удо­вле­тво­ря­ют всем пе­ре­чис­лен­ным ниже усло­ви­ям?

 

(x1 → х2) ∧ (х2 → хЗ) ∧ (хЗ → х4) ∧ (х4 → х5) ∧ (х5 → х6) = 1

(y1 → y2) ∧ (у2 → уЗ) ∧ (уЗ → у4) ∧ (у4 → у5) ∧ (у5 → у6) = 1

x1 ∨ y1 = 1

 

В от­ве­те не нужно пе­ре­чис­лять все раз­лич­ные на­бо­ры зна­че­ний пе­ре­мен­ных x1, х2, хЗ, х4, х5, y1, у2, уЗ, у4, у5, при ко­то­рых вы­пол­не­на дан­ная си­сте­ма ра­венств. В ка­че­стве от­ве­та Вам нужно ука­зать ко­ли­че­ство таких на­бо­ров.

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

Ре­ше­ние.

1)  Из по­след­не­го урав­не­ния сле­ду­ет, что гло­баль­но мы имеем три ва­ри­ан­та - x1=1, y1=1; x1=0, y1=1; x1=1, y1=0.

2)  Ло­ги­че­ское И ис­тин­но, толь­ко тогда, когда ис­ти­ны все утвер­жде­ния, а им­пли­ка­ция ложна толь­ко в слу­чае, если из ис­тин­но­го сле­ду­ет лож­ное.

3)  Урав­не­ние (1) опи­сы­ва­ет ряд пе­ре­мен­ных {x1, x2, x3, x4, x5, x6}. Так как из пе­ре­мен­ной с более низ­ким но­ме­ром все­гда сле­ду­ет пе­ре­мен­ная с более вы­со­ким, если любую пе­ре­мен­ную из этого ряда при­рав­нять 1, то все сле­ду­ю­щие долж­ны также быть равны 1. Для урав­не­ния (2) су­ще­ству­ет то же самое пра­ви­ло. Иначе го­во­ря, если за­пи­сать пе­ре­мен­ные x (или y) в по­ряд­ке воз­рас­та­ния их но­ме­ров, спра­ва будут нули, а слева - еди­ни­цы.

4)  Рас­смот­рим ва­ри­ант x1=1, y1=1. Так как пер­вые числа каж­до­го ряда равны 1, то все сле­ду­ю­щие тоже равны 1. Су­ще­ству­ет толь­ко одна ком­би­на­ция для этого ва­ри­ан­та.

5)  Рас­смот­рим ва­ри­ант x1=0, y1=1. Для y-ряда все пе­ре­мен­ные равны 1, для x же су­ще­ству­ет 6 ком­би­на­ций, так как в ряде x может быть от 1 до 6 нолей вклю­чи­тель­но.

6)  По­след­ний ва­ри­ант рас­смот­рим ана­ло­гич­но преды­ду­ще­му. Там су­ще­ству­ет всего 6 ком­би­на­ций.

 

Пра­виль­ный ответ: 6+6+1=13 ком­би­на­ций.


Аналоги к заданию № 3822: 3854 4599 4701 ... Все