单项选择题 LOTOS模型中定义的基本算符，T1∣∣∣T2表示（）。

判断题 GOMS模型中的选择规则就是一个随机的选择，不需要预测可能会使用哪个方法。

判断题 GOMS模型中的方法是描述如何完成目标的过程。一个方法本质上来说是一个内部算法，用来确定子目标序列及完成目标所需要的操作。