金狮吼人：当你线性处理却20pts

对于 0& 和 $1|$ 的情况需要特殊判断。
对于 $0|$ 这样对于后式没有贡献的可以直接跳过。