Вот совершенная дизъюнктивная нормальная форма
8 00-8 45
8 50-9 35
9 40-10 25
10 30- 11 15
11 20-12 05
У меня так получилось
a:=9
b:=3
c:=1
1. a=b - нет
2. c:=1+(a-b)
a:=a-1
b:=b+1
c:=7
a:=8
b:=4
3.a=b - нет
4.c:=4
a:=7
b:=5
5.a=b - нет
6.c:=3
a:=6
b:=6
7.a=b - да
И выведет конечный результат
a:=6
b:=6
c:=3
For i in range(1, 100):
if i*i % 13 == 0:
print i