bool x,y,z;

x := true;
y := true;
if x <=> y then
	z := x && y;
	print x,y,z
else
	print y,x,z
fi;

x := true;
y := false;
z := x <=> y;
if x <=> y then
	z := x && y;
	print x,y,z
else
	print y,x,z
fi;

x := false;
y := true;
z := x <=> y;
if x <=> y then
	z := x && y;
	print x,y,z
else
	print y,x,z
fi;

x := false;
y := false;
z := x <=> y;
if x <=> y then
	z := x && y;
	print x,y,z
else
	print y,x,z
fi