Python, ошибка. Написал все как в задании, почему-то не пропускает код, не понимаю. Может в задании ошибка ?

там ошибка

Слева и справа от оператора сравнения должны быть числа. А здесь справа стоит инверсия.

 (not z <= int(not y)) 

Ошибка возникает из-за некорректного использования логических операторов. В выражении not z <= not y логическая конструкция not y не может использоваться в сравнении, поскольку not возвращает булевое значение, а <= ожидает числа.

Правильное исправление:

Вместо not z <= not y нужно использовать корректное логическое выражение. Например:

if z or (not w <= x) or (not z or not y):
print(x, y, z, w)

Проверь задание ещё раз: возможно, логика требует другой интерпретации, но точно убрать конструкцию not z <= not y.

у тебя нарушен порядок последовательности действий. правильный порядок есть на самой первой вкладке если открыть вариант на кегэ где ты занимаешься

А в чем проблема привести в СКНФ/СДНФ и человеческую формулу в системе и/или/не записать? я помню на ЕГЭ это задание вообще в уме решал, тогда ещё не было компьютера на экзамене. Эх молодежь, разленились совсем...

 z | ~(w -> x) | (~z -> ~y) =
z | ~(~w | x) | (~~z | ~y) =
z | ~y | ~~w & ~x =
z | ~y | w & ~x 

Таким образом, 0 можно получить 3 способами:

 z | y | w | x
-- --- --- --
0   1   0   0
0   1   0   1
0   1   1   1 

w - столбец 1 (одна 1 в столбце).
z - столбец 2 (0 с двумя единицами в строке и не w).
y - столбец 4 (две строки с 1 при w = 0).
x - столбец 3 (по остаточному принципу).