Booleren aljebra

Wikipedia, Entziklopedia askea
Jump to navigation Jump to search

Booleren aljebra Elektronika Digital, Informatika, eta Matematika alorretan eragiketa logikoak adierazteko erabiltzen den egitura aljebraiko bat da.


Historia[aldatu | aldatu iturburu kodea]

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 formala[aldatu | aldatu iturburu kodea]

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

Erreferentziak[aldatu | aldatu iturburu kodea]

  1. Boole, George «Mathematical Analysis of Logic» The Mathematical Analysis of Logic (Cambridge University Press): 3–14 ISBN 9780511701337 . Noiz kontsultatua: 2019-01-03.
  2. 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.

Kanpo loturak[aldatu | aldatu iturburu kodea]

Wikimedia Commonsen badira fitxategi gehiago, gai hau dutenak: Booleren aljebra Aldatu lotura Wikidatan