3Pour des raisons que l’on verra lorsqu’interviennent plusieurs formules logiques, il vaut mieux ne pas se limiter strictement aux variables intervenant effectivement dans la formule F.