2. développement des expressions logiques  : équation de type V=w  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. Indiquez l'expression initiale (ce champ n'est pas vu par le programme mais est destiné mieux comprendre l'expression à évaluer)      4. Ecrivez l'expression à évaluer     4. évaluer...          expression d'arrivée      expressions déduites      interprétations (en rouge : les négations et en bleu les affirmations)