Mit einer Induktion über den Formelaufbau ist zu zeigen, dass sich jede aussagenlogische Formel in Negationsnormalform in eine solche Formel in konjunktiver Normalform transformieren ließe.
Ein anderes Problem?
Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos
