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

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

 

 левая круг­лая скоб­ка x1\to x2 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка x2\to x3 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка x3\to x4 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка x4\to x5 пра­вая круг­лая скоб­ка =1

 левая круг­лая скоб­ка y2\to y1 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка y3\to y2 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка y4\to y3 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка y5\to y4 пра­вая круг­лая скоб­ка =1

x1\vee y1=1

 

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

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

Ре­ше­ние.

За­ме­тим, что пер­вые два урав­не­ния свя­за­ны друг с дру­гом толь­ко через тре­тье.

 

Най­дем ко­ли­че­ство ре­ше­ний пер­во­го урав­не­ния. Каж­дая из пе­ре­мен­ных x1, ... , x5 может при­ни­мать толь­ко два зна­че­ния. Им­пли­ка­ция ложна толь­ко тогда, когда из ис­ти­ны сле­ду­ет ложь. Если за­пи­сать зна­че­ния пе­ре­мен­ных под­ряд, то можно уви­деть, что для того, чтобы ра­вен­ство вы­пол­ня­лось, не­об­хо­ди­мо, чтобы после "1" ни­ко­гда не стоял "0". Сле­до­ва­тель­но, по­лу­ча­ем такие ре­ше­ния: (x1,x2,x3,x4,x5) = 00000, 00001, 00011, 00111, 01111, 11111.

 

Во вто­ром урав­не­нии не­об­хо­ди­мо, чтобы после "0" ни­ко­гда не сто­я­ла "1". Сле­до­ва­тель­но, по­лу­ча­ем такие ре­ше­ния: (y1,y2,y3,y4,y5) = 00000, 10000, 11000, 11100, 11110, 11111. Таким об­ра­зом, си­сте­ма из двух урав­не­ний имеет 6·6  =  36 ре­ше­ний: для каж­до­го на­бо­ра пе­ре­мен­ных y су­ще­ству­ет 6 на­бо­ров пе­ре­мен­ных x.

 

000001000011000111001111011111(y1,y2,y3,y4,y5)
000000000000000000000000000000(x1,x2,x3,x4,x5)
000010000100001000010000100001
000110001100011000110001100011
001110011100111001110011100111
011110111101111011110111101111
111111111111111111111111111111

Тре­тье урав­не­ние ложно, когда (x1,y1) = 00. Вы­черк­нем из нашей таб­ли­цы те ре­ше­ния, для ко­то­рых (x1,y1) = 00.

 

000001000011000111001111011111(y1,y2,y3,y4,y5)
0000000000000000000000000(x1,x2,x3,x4,x5)
0000100001000010000100001
0001100011000110001100011
0011100111001110011100111
0111101111011110111101111
111111111111111111111111111111

 

Таким об­ра­зом, име­ет­ся 31 набор пе­ре­мен­ных, удо­вле­тво­ря­ю­щих си­сте­ме.


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