Booleren aljebra: berrikuspenen arteko aldeak

'''Booleren aljebra''' [[Elektronika digital|Elektronika Digital]], [[Informatika]], eta [[Matematika]] alorretan eragiketa logikoak adierazteko erabiltzen den [[egitura aljebraiko]] bat da.

 

 

== Historia ==

[[George Boole]] ([[1815]]<nowiki/>eko [[azaroaren 2]]<nowiki/>a - [[1864]]<nowiki/>ko [[abenduaren 8]]<nowiki/>a) matematikari ingelesa izan zen [[egitura aljebraiko]] hau sistema logiko gisa definitu zuen lehenengoa. Lehen aldiz ''The Mathematical Analysis of Logic''<ref>{{Erreferentzia|izena=George|abizena=Boole|izenburua=Mathematical Analysis of Logic|argitaletxea=Cambridge University Press|orrialdeak=3–14|url=http://dx.doi.org/10.1017/cbo9780511701337.002|aldizkaria=The Mathematical Analysis of Logic|isbn=9780511701337|sartze-data=2019-01-03}}</ref> izeneko liburuxka batean argitaratu zuen [[1847]]<nowiki/>an eta ondoren liburu garrantzitsuago batean: ''An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities''<ref>{{Erreferentzia|izena=Boole, George 1815-1864|abizena=Verfasser.|izenburua=An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities|url=http://worldcat.org/oclc/967688612|isbn=9780511693090|pmc=967688612|sartze-data=2019-01-03}}</ref> ([[1854]]).

 

== Definizio formala ==

Booleren aljebra gutxienez <math>\perp</math> eta <math>\top</math> (edo 0 eta 1) elementuak dituen <math>E</math> [[multzo]] bat da, zeinaren barnean bi barne-lege (<math>\vee</math> eta <math>\wedge</math>) definitzen diren, propietate hauek betetzen dituena:

<br />

|[[osagarri (argipena)|osagarria]]

|}

[[Kategoria:Egitura aljebraikoak]]