0:00
Svårighetsgrad: ExpertKategori: Logisk EkvivalensTyp: EkvivalenskontrollKonvertera 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.
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.