2.01 Составление таблицы истинности

Решение программой

print(’x y z’)
for x in [0, 1]:
    for y in [0, 1]:
        for z in [0, 1]:
            f = (x == ((not y) or z)) and (x <= (not y))
            if f == 1:
                print(x, y, z)

Решение аналитически

В таблице строк.

1. Конъюнкция будет равна истинна, если каждая из скобок будет истинна. Обратим внимание на вторую скобку. Если то Следовательно, в седьмой и восьмой строчках .

2. В первой скобке если , то , Причём тогда, когда (в этом случае , это седьмая строчка). Если , то . Причём тогда, когда либо либо . Таким образом, в первой, второй и четвёртой строчках . Следовательно, в третьей, пятой и шестой строчках .