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

  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 estekakAldatu