Booleren aljebra
Booleren aljebra Elektronika Digital, Informatika, eta Matematika alorretan eragiketa logikoak adierazteko erabiltzen den egitura aljebraiko bat da.
HistoriaAldatu
George Boole (1815eko azaroaren 2a - 1864ko abenduaren 8a) matematikari ingelesa izan zen egitura aljebraiko hau sistema logiko gisa definitu zuen lehenengoa. Lehen aldiz The Mathematical Analysis of Logic[1] izeneko liburuxka batean argitaratu zuen 1847an eta ondoren liburu garrantzitsuago batean: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities[2] (1854).
Definizio formalaAldatu
Booleren aljebra gutxienez eta (edo 0 eta 1) elementuak dituen multzo bat da, zeinaren barnean bi barne-lege ( eta ) definitzen diren, propietate hauek betetzen dituena:
elkarkorra | ||
trukakorra | ||
absortzio | ||
banakorra | ||
osagarria |
ErreferentziakAldatu
- ↑ Boole, George. «Mathematical Analysis of Logic» The Mathematical Analysis of Logic (Cambridge University Press): 3–14. ISBN 9780511701337. (Noiz kontsultatua: 2019-01-03).
- ↑ Verfasser., Boole, George 1815-1864. An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities. ISBN 9780511693090. PMC 967688612. (Noiz kontsultatua: 2019-01-03).