from itertools import *
def f(x, y, z, w):
    return not(y <= (x == w)) and (z <= x)
for a in product([0, 1], repeat = 5):
    table = [(a[0], 1, 1, a[1]), (0, a[2], a[3], 0), (a[4], 0, 1, 0)]
    if len(table) == len(set(table)):
        for p in permutations('xyzw'):
            if [f(**dict(zip(p, r))) for r in table] == [1, 1, 1]:
                print(p)