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

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

?	?	?	F
1			1
			1
1		1	1

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

from itertools import product, permutations

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

for p in permutations('xyz'):
    for a, b, c, d, e, f in product([0, 1], repeat=6):
        table = [(1, a, b, 1),
                 (c, d, e, 1),
                 (1, f, 1, 1)]
        if len(set(table)) < 3:
            continue
        if all(F(**dict(zip(p, row))) == row[-1] for row in table):
            print(*p)