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

(Е. Джобс) Логическая функция \(F\) задаётся выражением $$ ¬(x ≡ y → z). $$ На рисунке приведён фрагмент таблицы истинности функции \(F\), содержащий неповторяющиеся строки.

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

Определите, какому столбцу таблицы истинности функции \(F\) соответствует каждая из переменных \(x\), \(y\), \(z\).

from itertools import permutations

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

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

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