

\begin{slide}{Wahrheitswerte und Funktionen}

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

$\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.

\url{http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Boole.html}

\end{slide}
