La plupart des procédures pour résoudre le problème de validité desformules booléennes quantifiées prennent en entrée seulement des formules sous forme normale conjonctive. Or, il est rarement naturel d’exprimer un problème directement sous cette forme. Dans ce travail, nous exhibons un motif possédant d’intéressantes propriétés, particulièrement lors de la mise sous forme prénexe. Les résultats expérimentaux montrent qu’utiliser nos équivalences logiques améliore le temps de résolution par les différentes procédures.