\begin{slide}{Konsistenz unter Kodierungen}

Beispiel: FD-CS für Zahlen und SAT-CS für binäre Kodierung.

es ist möglich, daß das Original inkonsistent ist,
aber die Kodierung konsistent.

Beispiel: $x\in [0,1,\ldots, 5]$ unär und binär

 

\end{slide}
