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

Konvertera följande uttryck till konjunktiv normalform (CNF):

(A → B) ∧ (C ∨ D)

CNF är en konjunktion av klausuler, där varje klausul är en disjunktion av literaler.