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

print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if (not(x) or ((z <= y) and (z or w))) == False:
                    print(x, y, z, w)

1. Для ложности функции переменная должна принимать значение 1. Следовательно, данная переменная занимает второй столбец.

2. Рассмотрим четвёртую строку. Предположим, что занимает третий столбец. В таком случае импликация и дизъюнкция будут истинны, а значит, конъюнкция будет истинна. Если занимает третий столбец, то конъюнкция будет так же истинна. Если же занимает третий столбец, то импликация будет ложной, а значит, и конъюнкция будет ложной. Тогда занимает третий столбец.

3. Рассмотрим вторую строчку. В ней принимает значение 0. Если занимает четвёртый столбец, то дизъюнкция и импликация будут истинны, а значит, конъюнкция будет истинна. Следовательно, занимает первый столбец, а переменная занимает четвёртый.