P1 ∧ P2 ∧ P3 ↔ g Q1 (g Q2 Q3)
P1 ∧ (P2 ↔ P3) ↔ g Q1 (Q2 ↔ Q3)