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]:
                f = w and (not (x == z)) and ((not x) or (not y))
                if f == 1:
                    print(x, y, z, w)

Программа выведет:

Заметим, что всегда принимает значение , значит он занимает первый столбец. Переменная занимает второй столбец, так как в третьем и четвёртом столбце по два нуля. Когда , значит занимает третий столбец, а — четвёртый.