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.