Задание 2. Информатика. ЕГЭ. Поляков-6615

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

?	?	?	?	F
0	0	1	1	1
0	0	1	0	0
0	1	1	1	0

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

from itertools import permutations

def F(x, y, z, w):
    return ((x <= y) or (z == x)) and (w <= z)


table = [[0, 0, 1, 1, 1],
         [0, 0, 1, 0, 0],
         [0, 1, 1, 1, 0]]

for p in permutations('xyzw'):
    if all(F(**dict(zip(p, row))) == row[-1] for row in table):
        print(*p)