Combien de lignes compte la table de vérité d'une formule à 3 variables différentes ?