Konverter følgende uttrykk til Disjunktiv Normalform (DNF):

A → (B ∧ C)

DNF er en disjunksjon av klausuler, hvor hver klausul er en konjunksjon av literaler.