式 ¬P ∧ Q はどのようにまとまりますか。