0:00
Difficoltà: EspertoCategoria: Equivalenza LogicaTipo: Controllo di EquivalenzaLa seguente espressione è soddisfacibile?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)
La seguente espressione è soddisfacibile?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)