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

Решение программой

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

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

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

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