ЕГЭ информатика Пайтон

Пытался решить через Пайтон, но не получается

Само задание:

Миша заполнял таблицу истинности логической функции
F=¬(w≡y)∧(z→w)∧¬xF=¬(w≡y)∧(z→w)∧¬x,
но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных ww,xx,yy,zz.

Определите, какому столбцу таблицы соответствует каждая из переменных ww,xx,yy,zz.
В ответе напишите буквы ww,xx,yy,zz в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Мой код:
print("x y z w F")
for x in range(2):
for y in range(2):
for z in range(2):
for w in range(2):
F = int((not(w == y)) and (z >= w) and (not(x)))
if F == 1:
print(x, y, z, w, F)

Почему не совпадают таблицы исстиности?