Wahrheitswerte und Funktionen

$\mathbb {B}$ = Menge der Wahrheitswerte (Java: boolean)

Java: false, true, mathematisch oft: {0, 1}

jede Funktion f : $\mathbb {B}$^k$\to$$\mathbb {B}$ heißt aussagenlogische oder Boolesche 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.

http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Boole.html