q∨p ∧r 是先算 qp 的 还是 pr的