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

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

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)