922000₫
xsmb 25 9 là không đúng nếu ''x'' và ''y'' cùng đại diện cho một biến, vì không có tiền điều kiện nào có thể khiến cho ''y'' bằng 3 sau khi ''x'' được gán bằng 2.
xsmb 25 9 là không đúng nếu ''x'' và ''y'' cùng đại diện cho một biến, vì không có tiền điều kiện nào có thể khiến cho ''y'' bằng 3 sau khi ''x'' được gán bằng 2.
Luật về phát biểu ghép của Hoare áp dụng cho những chương trình được thực thi tuần tự ''S'' và ''T'', trong đó ''S'' thực thi trước ''T'' và được viết là ''S;T''.