3-SAS运算符分析