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

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

 

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

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

x1\vee y1=1

 

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

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

Ре­ше­ние.

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

 

Най­дем ко­ли­че­ство ре­ше­ний пер­во­го урав­не­ния. Каж­дая из пе­ре­мен­ных x1, ... , x6 может при­ни­мать толь­ко два зна­че­ния. Им­пли­ка­ция ложна толь­ко тогда, когда из ис­ти­ны сле­ду­ет ложь. Если за­пи­сать зна­че­ния пе­ре­мен­ных под­ряд, то можно уви­деть, что для того, чтобы ра­вен­ство вы­пол­ня­лось, не­об­хо­ди­мо, чтобы после "1" ни­ко­гда не стоял "0". Сле­до­ва­тель­но, по­лу­ча­ем такие ре­ше­ния: (x1,x2,x3,x4,x5, x6) = 000000, 000001, 000011, 000111, 001111, 011111, 111111.

 

Во вто­ром урав­не­нии не­об­хо­ди­мо, чтобы после "0" ни­ко­гда не сто­я­ла "1". Сле­до­ва­тель­но, по­лу­ча­ем такие ре­ше­ния: (y1,y2,y3,y4,y5, y6) = 000000, 100000, 110000, 11100, 111100, 111110, 111111. Таким об­ра­зом, си­сте­ма из двух урав­не­ний имеет 7·7  =  49 ре­ше­ний: для каж­до­го на­бо­ра пе­ре­мен­ных y су­ще­ству­ет 7 на­бо­ров пе­ре­мен­ных x.

 

000000100000110000111000111100111110111111(y1,y2,y3,y4,y5, y6)
000000000000000000000000000000000000000000(x1,x2,x3,x4,x5, x6)
000001000001000001000001000001000001000001
000011000011000011000011000011000011000011
000111000111000111000111000111000111000111
001111001111001111001111001111001111001111
011111011111011111011111011111011111011111
111111111111111111111111111111111111111111

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

 

000000100000110000111000111100111110111111(y1,y2,y3,y4,y5, y6)
000000000000000000000000000000000000(x1,x2,x3,x4,x5, x6)
000001000001000001000001000001000001
000011000011000011000011000011000011
000111000111000111000111000111000111
001111001111001111001111001111001111
011111011111011111011111011111011111
111111111111111111111111111111111111111111

 

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


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