C program

Find out the truth values of the following Hoare Triples. (Show that the triple is valid or invalid) 1. {i # j}if(i > j)m= j; else m=j i;{m >0} 1. {i > j}j = i +1; i = j +1;{i > j} 2. {x>0}x = x +1;{x > 1} 1 3. {x = y}x = x + y; {x > y} 4. {True}Program;{False} (assume the program does not terminate)