算法中，对需要执行的每一步操作，必须给出清楚、严格的规定，这属于算法的（ ）。

若有以下程序段（其中^表示异或）：
int x = 1 , y = 2 ;
x==x^y ;
y==y^x ;
x = x^y ;
则执行以上语句后x 和y 的值分别是（ ） 。