0:00
ExpertÉquivalence LogiqueVérification d'Équivalence
L'expression suivante est-elle satisfiable (peut-elle être rendue vraie) ?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
Déterminez s'il existe une affectation de valeurs de vérité qui rend cette expression vraie.