\begin{slide}{SAT, CNF, Kodierung}

  \begin{itemize}
  \item Geben Sie eine konjunktive Normalform
    für $a \leftrightarrow (b\rightarrow c)$ an
    und begründen Sie die Äquivalenz.
  \item Spezifizieren Sie die Tseitin-Transformation:

    was ist Eingabe $E$, was ist Ausgabe $A$, \\
    welche Beziehungen bestehen zwischen $E$ und $A$.
  \item Beschreiben Sie eine effiziente SAT-Kodierung
    für \glqq von den Variablen 
    $x_1,\ldots,x_n$ ist eine ungerade Anzahl wahr\grqq.

    Verwenden Sie Hilfsvariablen, \\
    spezifizieren Sie deren Bedeutung.
  \end{itemize}

\end{slide}
