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

Решение программой с помощью циклов:

Напишем программу, которая проверяет все возможные комбинации значений переменных x, y, z, w (0 или 1) и выводит только те наборы, при которых заданное логическое выражение истинно. Используя вложенные циклы, код последовательно перебирает варианты, вычисляя для каждого результат выражения, и выводит на экран подходящие комбинации.

# Выводим заголовок для наглядности (значения переменных)
print("w x y z")
# Перебираем все возможные комбинации x, y, z, w
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)

Решение программой с помощью аналитики:

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

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