展开 逻辑运算符的优先顺序离散数学