\begin{slide}{Wertetabellen}

\newcommand{\B}{\mathbb{B}}

Für jedes $f : \B^k \to \B$ 
ist der Definitionsbereich endlich. (Wie groß genau?)

Die Funktion $f$ kann deswegen durch eine Wertetabelle
gegeben werden. Beispiele:

\[
\begin{array}{cc|c}
x & y & f(x,y) \\ \hline
0 & 0 & 0 \\
0 & 1 & 1 \\
1 & 0 & 1 \\
1 & 1 & 1 
\end{array}
\qquad
\begin{array}{cc|c}
x & y & g(x,y) \\ \hline
0 & 0 & 0 \\
0 & 1 & 0 \\
1 & 0 & 0 \\
1 & 1 & 1 
\end{array}
\quad
\begin{array}{cc|c}
x & y & h(x,y) \\ \hline
0 & 0 & 1 \\
0 & 1 & 0 \\
1 & 0 & 0 \\
1 & 1 & 1 
\end{array}
\]

Für jedes $k$ gibt es nur endlich viele verschiedene
$k$-stellige Boolesche Funktionen. (Wieviele genau?)

\end{slide}
