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

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

1. Заметим, что все переменные не могут быть принимать значение 1 одновременно, так как тогда вторая скобка будет истинной, а значит, импликация будет истинной. Значит в первой ячейке первой строки находится 0. Предположим, что первый столбец занимает Но в таком случае дизъюнкция в первой скобке будет ложной (так как ), а это значит что Если в первом столбце представлена переменная то переменные будут равны, то есть эквивалентность будет истинной, а Значит в первом столбце находится переменная

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 z) <= (z == x)
            if not F:
                print(x, y, z, 0)