for 문...실행부가 뒤에 왔는데 왜 printf문이 먼저 실행되는지

/* c190501.c - for문의 세 가지 형태 */

#include <stdio.h>


void main(void)
{
	int a;

	for(a=1;a<=3;)			/* 복문 구조를 이용한 명령 실행 */
	{
		printf("1.복문 형태 : a = %d \n", a);
		a=a+1;
	}
	for(a=1;a<=3;a+=1)		/* 실행부를 for문 뒤에 단문으로 붙여서 실행 */
	  printf("2.단문 형태 : a = %d \n", a);
	for(a=1;a<=3;printf("3.독립 형태 : a = %d \n", a), a++);  /* for문 안에서 명령 실행 */

	getch();
}[/b][/b]

여기에서 2번째 단문으로 붙여서 실행이 있잖아요.
1,3번째는 실행부인 a=a+1, a++가 뒤에 나와서 printf문 수행후에 실행이 되는데....2번째는 a+=1인 실행부가 먼저 나오잖아요. 그런데 컴파일 해보면 결과가 똑같이 a=1,a=2,a=3 이렇게 나옵니다... 실행부는 무조건 맨 나중에 실행되는 건가요?

그런데 또...이 보기를 보시면 아니라고 생각되실 거에요;

int a;
for(a=0;a<3;a++,printf("3.독립 형태 : a = %d\n", a);

명쾌한 답변 부탁 드려요..^^;;