2.02 Частично заполненный фрагмент таблицы

1. Конъюнкция истинна тогда, когда обе скобки будут истинны. Обратимся ко второй скобке. Так как используется отрицание импликации, то сама импликация должна быть ложной. Это означает, что Обратившись к фрагменту таблицы истинности, мы поймём, что 1 есть во всех ячейчках второго столбца. Значит, во втором столбце находится Значение 0 должно быть во всех ячейках первом столбца (так как в других столбцах присутствуют единицы). Тогда занимает первый столбец.

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

Программное решение

print(’w x y z’)
for w in range(2):
    for x in range(2):
        for y in range(2):
            for z in range(2):
                if (w or not y) and not(x <= z):
                    print(w,x,y,z)