0:00
EspertoEquivalenza LogicaControllo 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.