\begin{slide}{Normalformen (DNF, CNF)}

Definitionen:
  \begin{itemize}\itemsep 0pt
  \item Variable: $v_1, \ldots$
  \item Literal: $v$ oder $\neg v$
  \item DNF-Klausel: Konjunktion von Literalen
  \item DNF-Formel: Disjunktion von DNF-Klauseln
  \item CNF-Klausel: Disjunktion von Literalen
  \item CNF-Formel: Konjunktion von CNF-Klauseln
  \end{itemize}

Disjunktion als Implikation: 
diese Formeln  sind äquivalent:

\begin{itemize}\itemsep 0pt
\item 
$(x_1\wedge \ldots \wedge x_m)\to(y_1\vee\ldots\vee y_n)$
\item
$(\neg x_1\vee \ldots\vee \neg x_m \vee 
y_1\vee\ldots\vee y_n)$
\end{itemize}


\end{slide}

