1. développement des expressions logiques  : équation de type V=0  1. Indiquez ce que vous voulez exprimer (ce champ n'est pas vu par le programme mais est destiné mieux comprendre votre notation)      2. Donnez la définition des variables  (ce champ est interprété par le programme)      3. Ecrivez l'expression de départ         4. évaluer...          expression d'arrivée      expressions déduites      interprétations