Со­ста­вим таб­ли­цу ис­тин­но­сти для вы­ра­же­ния

вруч­ную или при по­мо­щи языка Python:

Со­по­ста­вим по­лу­чен­ные на­бо­ры с при­ве­ден­ным в за­да­нии фраг­мен­том таб­ли­цы ис­тин­но­сти.

Пер­вой и вто­рой стро­кам могут со­от­вет­ство­вать толь­ко на­бо­ры (0, 0, 0, 1) и (0, 1, 0, 0), тогда пер­вый и тре­тий столб­цы могут со­от­вет­ству­ет пе­ре­мен­ным y и w (пока не из­вест­но в каком по­ряд­ке).

Тре­тьей стро­ке могут со­от­вет­ство­вать на­бо­ры (0, 1, 0, 1) и (1, 0, 0, 1). Так как пе­ре­мен­ная w равнa 1 в обоих на­бо­рах, то пер­вый стол­бец это пе­ре­мен­ная y. Тогда тре­тий стол­бец со­от­вет­ству­ет пе­ре­мен­ной w.

Сле­до­ва­тель­но тре­тья стро­ка может со­от­вет­ство­вать толь­ко на­бо­ру (1, 0, 0, 1). Тогда пе­ре­мен­ной

z со­от­вет­ству­ет чет­вер­тый стол­бец, а пе­ре­мен­ной x вто­рой стол­бец.

Ответ: yxwz.

Ре­ше­ние.

Это за­да­ние ещё не ре­ше­но, при­во­дим ре­ше­ние про­то­ти­па.

Ло­ги­че­ская функ­ция F задаётся вы­ра­же­ни­ем:

Дан ча­стич­но за­пол­нен­ный фраг­мент, со­дер­жа­щий не­по­вто­ря­ю­щи­е­ся стро­ки таб­ли­цы ис­тин­но­сти функ­ции F.

Опре­де­ли­те, ка­ко­му столб­цу таб­ли­цы ис­тин­но­сти со­от­вет­ству­ет каж­дая из пе­ре­мен­ных w, x, y, z.

В от­ве­те на­пи­ши­те буквы w, x, y, z в том по­ряд­ке, в ко­то­ром идут со­от­вет­ству­ю­щие им столб­цы (сна­ча­ла буква, со­от­вет­ству­ю­щая пер­во­му столб­цу; затем буква, со­от­вет­ству­ю­щая вто­ро­му столб­цу, и т. д.). Буквы в от­ве­те пи­ши­те под­ряд, ни­ка­ких раз­де­ли­те­лей между бук­ва­ми ста­вить не нужно.

При­мер. Пусть за­да­ны вы­ра­же­ние x → y, за­ви­ся­щее от двух пе­ре­мен­ных x и y, и фраг­мент таб­ли­цы ис­тин­но­сти.

Тогда пер­во­му столб­цу со­от­вет­ству­ет пе­ре­мен­ная y, а вто­ро­му столб­цу со­от­вет­ству­ет пе­ре­мен­ная x. В от­ве­те нужно на­пи­сать: yx.

Со­ста­вим таб­ли­цу ис­тин­но­сти для вы­ра­же­ния

вруч­ную или при по­мо­щи языка Python:

Со­по­ста­вим по­лу­чен­ные на­бо­ры с при­ве­ден­ным в за­да­нии фраг­мен­том таб­ли­цы ис­тин­но­сти.

Пер­вой и вто­рой стро­кам могут со­от­вет­ство­вать толь­ко на­бо­ры (0, 0, 0, 1) и (0, 1, 0, 0), тогда пер­вый и тре­тий столб­цы могут со­от­вет­ству­ет пе­ре­мен­ным y и w (пока не из­вест­но в каком по­ряд­ке).

Тре­тьей стро­ке могут со­от­вет­ство­вать на­бо­ры (0, 1, 0, 1) и (1, 0, 0, 1). Так как пе­ре­мен­ная w равнa 1 в обоих на­бо­рах, то пер­вый стол­бец это пе­ре­мен­ная y. Тогда тре­тий стол­бец со­от­вет­ству­ет пе­ре­мен­ной w.

Сле­до­ва­тель­но тре­тья стро­ка может со­от­вет­ство­вать толь­ко на­бо­ру (1, 0, 0, 1). Тогда пе­ре­мен­ной

z со­от­вет­ству­ет чет­вер­тый стол­бец, а пе­ре­мен­ной x вто­рой стол­бец.

Ответ: yxwz.