Логическая функция 
задаётся выражением:
Ниже представлен фрагмент таблицы истинности функции 
содержащий неповторяющиеся строки, при которых фукнция 
истинна.
Определите, какому столбцу истинности функции 
соответствует каждая переменная 
. В ответе напишите буквы 
в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
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)