0:00
Difficoltà: EspertoCategoria: Equivalenza LogicaTipo: Controllo di Equivalenza

Converti la seguente espressione in Forma Normale Congiuntiva (CNF):

(A → B) ∧ (C ∨ D)

La CNF è una congiunzione di clausole, dove ogni clausola è una disgiunzione di letterali.