这是BUG吧？

这个怎么都不可能实现吧，少了两个AND啊。