2

from itertools import product
def f(x,y,w,z):
    return ((x <= w) or (y and (not z))) and ((y <= (not z)) or x and (not w))
a = product([0,1], repeat=4)
print(f'x y w z F')
for x,y,w,z in a:
    if not f(x, y, w, z):
        print(x, y, w, z, 0)