0:00
ExpertÉquivalence LogiqueVérification d'Équivalence

L'expression suivante est-elle satisfaisable ?

(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)