Задача по теме: "Заполнение таблицы истинности"

Решение:

print('x y z w')
for x in 0,1:
    for y in 0,1:
        for z in 0,1:
            for w in 0,1:
                if (not(y<=(not(z<=w))) and (((not(z))<=(not(w)==x)))) == 1: #f==0
                     print(x, y, z, w)

Вывод программы:

при f==1:

x  y  z  w

0  1  0  1

0  1  1  1  - явно лишнее

1  1  0  0

1  1   1  1  - явно лишнее

y - 1 столбец, z - 3 столбец

при f==0:

x y z w
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 1
1 1 1 0

Оставляем только строки с тремя единицами

1  0  1  1  - явно лишнее

1  1  0  1  - явно лишнее

1  1  1  0

w - 2 столбец, x - 4 столбец

Ответ: YWZX