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



Johannes Waldmann 2008-04-08