
\begin{slide}{Äquivalenzen}

Def: Formeln $F$ und $G$ heißen \emph{äquivalent},
wenn $\Mod(F)=\Mod(G)$.

Satz: zu jeder Formel $F$ existiert äquivalente Formel $G$ in DNF.

Satz: zu jeder Formel $F$ existiert äquivalente Formel $G'$ in CNF.

 \bigskip

aber \dots wie groß sind diese Normalformen?
\end{slide}
