n2.01intro.py

"""
F=(x→y)∧z∧¬w

- - - - F
0 1 - - 1
1 1 - - 1
1 - 1 - 1
"""
print('x y z w F')

for x in [0,1]:
    for y in [0,1]:
        for z in [0,1]:
            for w in [0,1]:
                if ( ((not x) or y) and z and (not w) ) == 1:
                    print(x,y,z,w, 1)