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

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

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

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

from itertools import permutations

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


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

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