0:00
EspertoEquivalenza LogicaControllo di Equivalenza

La seguente espressione è soddisfacibile?

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