'''
278)	(ЕГЭ-2024) Логическая функция F задаётся выражением 
¬(x → w) ˅ (y → z) ˅ ¬y.

¬x        not x
x ∧ y    x and y
x ˅ y     x or y
(y → z)   (y <= z) или (not y or z)
(y ≡ x)   (y == x)

!!! 
СВОИХ скобок НЕ ставим, ЧУЖИЕ -- не стираем!!!
'''

def f(x, y, z, w):
    return not (not x or w) or (not y or z) or not y

print('x y z w')
for x in 0, 1:
    for y in 0, 1:
        for z in 0, 1:
            for w in 0, 1:
                if not f(x, y, z, w):  # F = 0 в таблице
                #if f(x, y, z, w):  # F = 1 в таблице
                    print(x, y, z, w)
                    
# ЕГЭ-2: 279, 281, 282, 289, 291      (286*)