jodijam

Подозреваю, что непонимание возникло из-за того что вам нужно получить не true, а false, чтобы выйти из цикла.
Все же просто: x равен единице => x!=1 дает false => если у and любой операнд это false, то вернется false => цикл завершается.

Не надо думать когда завершится цикл. Надо думать когда он продолжится.

А продолжится он когда выполняются ОБА условия. Соответственно если хоть одно не выполнится (не оба, а одно) - то тогда будет выход.

Странно вы считаете. Логический оператор AND имеет такое же значение, как и союз И. Попробую разъяснить на детских аналогиях. Предположим, что у нас по 3 три яблока. Пока у меня не одно яблоко и у вас не одно яблоко мы оба должны есть яблоки. Если один из нас съел два яблока, а другой нет, должны ли мы продолжать есть яблоки?

Попробуйте ваше условие переписать так, как вы его словами написали:

not(x==1 and y==1)

Т.е. цикл завершится, когда ваше условие будет истинно. А условие ваше это x=1 и y=1.

Вы результат преобразования никуда не сохраняете.
Вот так работает без ошибок:

a = input()
b = input()
l = input()
N = input()

a = int(a)
b = int(b)
l = int(l)
N = int(N)

lenl = 2 * l
lena = (2 * N - 1) * a
lenb = 2*b *(N - 1)
sumlab = lenl + lena + lenb
print(sumlab)

или можно преобразовать сразу там же, где происходит ввод:

a = int(input())
b = int(input())
l = int(input())
N = int(input())

lenl = 2 * l
lena = (2 * N - 1) * a
lenb = 2*b *(N - 1)
sumlab = lenl + lena + lenb
print(sumlab)