from itertools import *
def f(x, y, z):
    return not(x == (y <= z))
table = [(0, 0, 1), (0, 1, 1)]
for p in permutations('xyz'):
    if [f(**dict(zip(p, r))) for r in table] == [1, 0]:
        print(p)