Comment la formule ¬P ∧ Q est-elle groupée ?