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

Далее ищем совпадения с частично заполненной таблицей из условия и подставляем нужные значения.