выполнять до те пор пока:
l не равно k или l не равно km или lm не равно k или lm не равно km
То есть если хотя бы одно из вышеперечисленных условий истинно выхода не произойдет.
сделай print каждой переменной и посмотри, как минимум одно из твоих условий истинно, и выхода из цикла не происходит.
если у тебя в твоих условиях или (or) и в списке хоть один True, то общее выражение будет True.
