Corrigé exercice 11 - MP2 - Chato

Définition. 1. On appelle littéral une formule logique de la forme v ou ¬v o`u v ? V . 2. On appelle conjonction de littéraux toute formule logique de.