Функция будет ложна тогда, когда первая скобка истинна, а вторая ложна ( 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