'''
№ 5.7 (). Логическая функция F задаётся выражением
¬(¬x ∧ y ∧ z) ∧ (x → y):

¬x       not x     логическое отрицание (логическое НЕ), инверсия
x ∨ y   x or y    логическое сложение  (логическое ИЛИ), дизъюнкция 
x ∧ y   x and y   логическое умножение (логическое И), конъюнкция
(x → y)  (not x or y)

'''

def F(x, y, z):
    return not (not x and y and z) and (not x or y)

print('x y z')
for x in 0, 1:
    for y in 0, 1:
        for z in 0, 1:
            if not F(x, y, z):  # в условии F = 0
                print(x, y, z)

# 5.3    5.6     5.8  По сборнику логики