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.
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.