프로그래밍 언어론 잘하시는분!!!!!!!

[허이짜다(121.162)]

t=2*a;

a=b;

b=t/2; {a ==1 and b ==0}

이거 최약전조건 어떻게 구하나요 ㅠㅠ

[이힝(66.249)]

T>1