Задача № 273

Логическая функция \( F \) задаётся выражением \( (z \equiv w) \land (x \rightarrow y) \lor \neg w \). На рисунке приведён частично заполненный фрагмент таблицы истинности функции \( F \), содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции \( F \) соответствует каждая из переменных \( x \), \( y \), \( z \), \( w \).

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