0:00
EkspertLogisk ÆkvivalensÆkvivalenscheck

Konverter følgende udtryk til Disjunktiv Normal Form (DNF):

A → (B ∧ C)

DNF er en disjunktion af klausuler, hvor hver klausul er en konjunktion af literaler.