0:00
Difficoltà: EspertoCategoria: Equivalenza LogicaTipo: Controllo di EquivalenzaConverti 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.