print(’x y z w’)
for x in range(2):
    for y in range(2):
        for z in range(2):
            for w in range(2):
                p = (not(x <= y) or z or (not w))
                if p == 0:
                    print(x, y, z, w)

Получим таблицу:

Первый столбец в нашей строке пуст, значит, туда мы можем поставить нули, тогда он - z. В последний можем поставить 1, тогда он - w. Из оставшихся в одном два нуля, а во втором один, значит, второй столбец y, а третий x.