from itertools import *
def f(x, y, z, w):
    return (y <= x) or not((x <= z) and (z <= x)) and not(w)
for a1, a2, a3, a4, a5, a6 in product([0, 1], repeat = 6):
    table = [(0, 0, 0, a1), (a2, 0, 0, a3), (a4, a5, 0, a6)]
    if len(table) == len(set(table)):
        for p in permutations('wxyz'):
            if [f(**dict(zip(p, r))) for r in table] == [0, 0, 0]:
                print(p)