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

\begin{slide}{Boolesche Funktionen}

$\B = $ Menge der Wahrheitswerte (Java: \verb|boolean|) 

Java: $\{\verb|false|, \verb|true|\}$, mathematisch oft: $\{0,1\}$

jede Funktion $f : \B^k \to B$
heißt \emph{aussagenlogische} oder \emph{Boole}sche Funktion.

George Boole (1815--1864) veröffentlichte 1854:
An investigation into the Laws of Thought, 
on Which are founded the Mathematical Theories of Logic and Probabilities.

\end{slide}
