Функция будет ложна тогда, когда первая скобка истинна, а вторая ложна ( 1 --> 0 = 0 ). Из этого следует, что x не должно быть равно y, если x = 0, то y = 1 и наоборот. Построим таблицу истинности:

x y z w    F

0 1 0 0 = 0              

0 1 0 1  = 0              

0 1 1 0  = 1              

0 1 1 1   = 1              

1 0 0 0 = 1        

1 0 0 1  = 0

1 0 1 0  = 0

1 0 1 1   = 1

Подставив значения, отсеем лишние строки. Подходят 1,  2, 6 и 7 строки. Какая-то переменная должна быть ложна все три раза. Видим, что это строчки 1, 3 и 6, поскольку z ложна трижды. Методом анализа и перебора строк, установим, что порядок таков: zwyx