Шаблон кода: базовая алгебра логики

• Шаблон кода для решения задания

print('x y w z')
for x in range(2):
    for y in range(2):
        for w in range(2):
            for z in range(2):
                f = (x or y) and (not (y == z)) and (not w)
                if f:
                    print(x, y, w, z)

Внимательно следим за скобками!

Импликация $a \rightarrow b$ в алгебре логики выражается так: $a \rightarrow b \equiv \neg a \vee b$

# Способ 1: через not и or
a = True
b = False
implication1 = (not a) or b
print(implication1)

# Способ 2: через сравнение
implication2 = a <= b
print(implication2)