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

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