Ре­ше­ние. Со­ста­вим таб­ли­цу ис­тин­но­сти для вы­ра­же­ния вруч­ную или при по­мо­щи языка Python:

Далее вы­пи­шем те на­бо­ры пе­ре­мен­ных, при ко­то­рых дан­ное вы­ра­же­ние равно 0. В на­бо­рах пе­ре­мен­ные за­пи­шем в по­ряд­ке х, y, z, w.

По­лу­чим сле­ду­ю­щие на­бо­ры:

(0, 0, 0, 1),

(0, 1, 0, 1),

(1, 1, 0, 1).

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

За­ме­тим, что толь­ко тре­тий стол­бец не со­дер­жит зна­че­ние 0. Сле­до­ва­тель­но, тре­тий стол­бец со­от­вет­ству­ет пе­ре­мен­ной w. Тогда пер­вая стро­ка может со­от­вет­ство­вать толь­ко на­бо­ру (0, 0, 0, 1). Сле­до­ва­тель­но, пер­вый стол­бец со­от­вет­ству­ет пе­ре­мен­ной с двумя 0 и одной 1  — это пе­ре­мен­ная х. Чет­вер­тый стол­бец может со­от­вет­ство­вать пе­ре­мен­ной z, так как эта пе­ре­мен­ная не со­дер­жит 1 в таб­ли­це. Тогда вто­рой стол­бец со­от­вет­ству­ет пе­ре­мен­ной у.

Ответ: xywz.