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

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

Для истинности функции обе скобки должны быть истинны. Вторая скобка будет истинна, если импликация будет ложной. Тогда Получается, что занимает второй столбец, а переменная занимает второй. При этом первая скобка тоже будет истинной. Она будет ложной лишь в случае Обратимся ко второй строке и поймём, что для истинности скобки занимает четвёртый столбец, а занимает третий.

Идея решения через циклы:

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

Код решения через циклы

# Выводим заголовок для результатов
print("x y z w")

# Перебираем все возможные значения переменной x
for x in range(0,2):
    # Перебираем все возможные значения переменной y
    for y in range(0,2):
        # Перебираем все возможные значения переменной z
        for z in range(0,2):
            # Перебираем все возможные значения переменной w
            for w in range(0,2):
                # Проверяем условие логического выражения
                if ((w or not(y)) and not(x <= z)) == True:
                    # Если условие выполняется, выводим комбинацию
                    print(x, y, z, w)

Вывод программы:

Идея решения через itertools:

Вместо вложенных циклов применяется функция product из модуля itertools, которая сразу генерирует все комбинации значений длиной 4. Для каждого набора проверяется условие, и подходящие комбинации выводятся.

Код решения через itertools

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

# Выводим заголовок для результатов
print("w x y z")

# Перебираем все комбинации из 0 и 1 длиной 4
for w,x,y,z in product([0,1], repeat=4):
    # Проверяем выполнение логического выражения
    if (w or not(y)) and not(x <= z):
        # Если условие истинно, выводим комбинацию
        print(w,x,y,z)