Bonsoir,
 
Je suis entrain de faire un programme qui numerote les variables d'une formule ! exemple : AA /\ BB \/ CC => {A:1,B:2,C:3} !  
l’entête de la fonction (récursive) : numerote ( formule , correspondance ).
formule est la formule dont on doit numéroter les variables
correspondance est la structure qui associe le nom de la variable à un numéro (un dictionnaire)
 
des idées pour commencer ?    
 

http://www.developpez.net/forums/d [...] se-formule