for x in range(2):
for y in range(2):
for z in range(2):
for w in range(2):
# Логическое выражение
F = (x or (not z and w) or w) == (y or (not x and w))
if F: # Здесь F будет True (1) или False (0)
print(x, y, z, w, int(F)) # Преобразуем F в 1 или 0