2.01 Полностью заполненные фрагменты таблицы истинности

Решение руками:

1. Заметим, что конъюнкция истинна будет истинна, если каждая из скобок будет истинной. Обратим внимание на первую строку. Предположим, что занимает первый столбец. В таком случае а значит, импликация во второй скобке будет ложной. Если занимает первый столбец эквивалентность в первой скобке будет истинной. Следовательно, первый столбец занят переменной

2. Обратим внимание на вторую строчку. Заметим, что если то импликация во второй скобке будет ложной. Это означает, что тертий столбец может занимать переменная , а второй столбец занимать переменная

Решение Python:

print("x y z F")
for x in range(2):
    for y in range(2):
        for z in range(2):
            F = ((not y or not x) == z) and (x <= y)
            if F:
                print(x, y, z, 1)