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

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

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

# Выводим заголовок для наглядности (значения переменных)
print("x y z")
# Возможные значения переменных: 0 (False) или 1 (True)
a = (0, 1)

# Перебираем все возможные комбинации x, y, z
for x in a:
    for y in a:
        for z in a:
            # Проверяем, что логическое выражение с текущим набором переменных дает истину
            if ((y or x) <= (x == z)) == False:
                # Если условие выполнено, выводим текущую комбинацию
                print(x, y, z)

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

Перебор комбинаций x, y, z можно также организовать с помощью функции product из модуля itertools. Она генерирует все 8 вариантов комбинаций, а затем вычисляет значение выражения для каждого случая и выводит на экран подходящие комбинации.

# Импортируем функцию для декартова произведения
from itertools import product

# Выводим заголовок таблицы
print("x y z")
# Генерируем все возможные комбинации из 0 и 1 длины 3 (для x,y,z)
for x, y, z in product([0, 1], repeat=3):
    # Проверяем, что логическое выражение с текущим набором переменных дает истину
    if ((y or x) <= (x == z)) == False:
        # Выводим подходящую комбинацию
        print(x, y, z)

После запуска программы получаем результат:

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

Аналитическое решение:

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

2. Рассмотрим теперь вторую строчку. Мы поняли, что одновременно нулями все переменные быть не могут, быть единицей может только (в то время как остальные переменные равны нулю). Значит, первую и вторую ячейку занимает единица. Теперь рассмотрим, когда Но тогда а значит, Значит импликация будет истинной при этом. Остаётся вариант, когда Данный вариант удовлетворяет условиям, так Следовательно, занимает второй столбец, а занимает третий.