or замени на and. Иначе получается условие:
а НЕ РАВНО б или а+1 НЕ РАВНО б
А принимает значения: 1,3,5,7,9,11,13 и т.д. (б равен 8), поэтому while будет выполнятся бесконечно, т.к. А всегда НЕ РАВНО Б, а для условия or важно выполнение хотя бы одного из условий (True or False = True).
Сделай так:
while a!=b and a+1!=b: