搜狗老人输入法:求逻辑状态方程化简 源代码