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

Третий столбик — y, т.к. только столбик с y имеет три нуля.
Мысленно зачёркиваем строку с единицей в столбце y, она в таблице из условия не учитывается.
Столбик с одной единицей — z.
Оставшиеся столбцы различаем по строкам:
если в столбце есть единица, которая является единственной в одной строке, то это столбец x.
Оставшийся столбец — w.