0:00
Difficulté: ExpertCatégorie: Équivalence LogiqueType: Vérification d'ÉquivalenceL'expression suivante est-elle satisfaisable ?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)
L'expression suivante est-elle satisfaisable ?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)