Sujet et corrigé mathématiques bac s, obligatoire, Inde, Pondichéry ...

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.