0:00
Svårighetsgrad: ExpertKategori: Logisk EkvivalensTyp: Ekvivalenskontroll

Är följande uttryck uppfyllbart?

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