a:=6,b:=3;

while a<>b do

if a<>b then a:=a-b else b:=b-a;

vòng lặp 1:  a=6,b=3 `->` TMĐK `->` a<>b `->` a:=a-b  `->` a=6-3=3

vòng lặp 2:  a=3,b=3 `->` Không TMĐK `->` dừng

Kết luận:

a=3;

b=3;

có 1 lần lặp

- Giá trị ban đầu a = 6, b = 3

- Điều kiện a <> b thì câu lệnh sau do được thực hiện

+ (a <> b) Điều kiện thứ 1 ⇔ 6 <> 3  ⇒ Điều kiện đúng

⇒ (a <> b) Điều kiện thứ 2 ⇒ Đúng ⇒ Thực hiện lệnh sau then

⇒ a = a - b = 6 - 3 = 3

⇒ Vòng lặp 1

+ (a <> b) Điều kiện thứ 1 ⇒ 3 <> 3 ⇒ Điệu kiện sai 

⇒ Kết thúc 

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 

- Giá trị biến a = 3, b = 3 và chỉ thực hiện 1 vòng lặp