Àlgebra de Boole

variant de l'àlgebra elemental ordinària

L'àlgebra de Boole també anomenada àlgebra booleana, en matemàtica, electrònica digital i informàtica és una estructura algebraica que esquematitza les operacions lògiques. És una branca de les matemàtiques amb propietats i regles similars, tot i que diferents, a les de l'àlgebra ordinària.

HistoriaModifica

Fou creada per George Boole (2 de novembre de 1815 a 8 de desembre de 1864) durant el primer quart del segle xix. Matemàtic anglès autodidacta, va ser el primer a definir-la com a part d'un sistema lògic, inicialment en un petit fullet, The Mathematical Analysis of Logic, publicat el 1847, a resposta a una controvèrsia en curs entre Augustus De Morgan i sir William Rowan Hamilton. Va ser un intent de fer servir les tècniques algebraiques per tractar expressions de la lògica proposicional. Més tard va ser estès com un llibre més important: An Investigation of the Laws of Thought on Which founded the Mathematical Theories of Logic and Probabilities (també conegut com An Investigation of the Laws of Thought o simplement The Laws of Thought), publicat el 1854.

L'àlgebra de Boole té una característica especial: les seves variables només poden adoptar dos valors, tradicionalment denominats cert i fals (normalment representats com a 1 i 0, respectivament). Així doncs, l'àlgebra de Boole maneja valors lògics binaris.

D'altra banda, una àlgebra de Boole és un conjunt B d'elements sobre els quals s'han definit dues operacions   ('suma', 'o', 'unió', 'disjunció') i   ('producte', 'i', 'intersecció', 'conjunció') de manera que compleixen els 5 postulats de Huntington.

« Les interpretacions respectives dels símbols 0 i 1 al sistema de lògica són Res i Univers. »
George Boole[1]

Actualment, l'àlgebra de Boole s'aplica de manera generalitzada a l'àmbit del disseny electrònic. Claude Shannon va ser el primer a aplicar-la en el disseny de circuits de commutació elèctrica biestables, el 1948. Aquesta lògica es pot aplicar a dos camps:

  • A l'anàlisi, perquè és una manera concreta de descriure com funcionen els circuits.
  • Al disseny, ja que tenint una funció s'aplica aquesta àlgebra per poder desenvolupar una implementació de la funció.

George BooleModifica

Article principal: George Boole

George Boole (Lincoln, Regne Unit, 1815 – Ballintemple, actual Irlanda, 1864) fou un matemàtic britànic. Procedia d'una família vinguda a menys i va haver de descartar la idea de convertir-se en monjo en veure's obligat a mantenir els seus pares. A setze anys ensenyava matemàtiques en un col·legi privat i més tard en va fundar un de propi. A vint-i-quatre anys, després de la publicació del seu primer escrit, va poder ingressar a Cambridge, però va desestimar l'oferta, de nou a causa dels seus deures familiars. L'àlgebra de la lògica, com a sistema algebraic explícit que mostra l'estructura matemàtica subjacent de la lògica, va ser introduïda per George Boole al seu llibre The Mathematical Analysis of Logic de 1847. Amb ell s'inicia el desenvolupament de l'anomenada àlgebra de la lògica.[2] El 1849 va ser nomenat professor de matemàtiques del Queen's College, a Cork, on va romandre la resta de la seva vida.

DefinicióModifica

Donat un conjunt   on s'han definit dues lleis de composició interna  . L'estructura  és un àlgebra de Boole si i només si  és un Reticle distributiu,[3] això és:

  •   és distributiva respecte a  :
 
  •   és distributiva respecte a  
 

Postulats de HungtingtonModifica

Primer postulat: les operacions són internes:

 

Segon postulat: existeix un element neutre per a cada operació:

 

Tercer postulat: existeix l'element invers:

 

Quart postulat: existeix la propietat commutativa:

 

Cinquè postulat: existeix la propietat distributiva:

 

Funcions booleanesModifica

Les funcions booleanes es poden representar explícitament en una taula de veritat com la següent, on observem el valor de la funció   en funció de totes les combinacions de les variables  ,   i  :

a b c f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0

A partir de la taula, podem calcular els termes mínims, que són els productes de   literals que prenen el valor 1 quan la funció val 1. En el nostre cas, el nombre de literals és 3 (tenim tres variables), i els termes mínims són:

 
 
 

Sumant els termes mínims, obtenim la representació canònica en suma de productes. En el nostre cas:

 

Aplicant el quart postulat (propietat commutativa):

 

I el cinquè postulat (propietat distributiva):

 

I el segon postulat (element invers):

 

I altra vegada el cinquè postulat (propietat distributiva):

 

I finalment la llei d'absorció:[4]

 

De manera que obtenim una expressió molt més senzilla de la funció que la taula de veritat: la funció és certa quan   o   són falsos i   és cert. Alternativament, podem calcular els termes màxims (sumes de   literals que prenen el valor 0 quan la funció val 0), i, multiplicant-los, obtenim la representació canònica en producte de sumes. En el nostre cas i simplificant:

 
 
 
 
 
 
 
 
 
 

Altres propietatsModifica

Lleis d'absorció:

 
 

Llei d'idempotència:

 

Llei d'involució:

 

Llei de De Morgan:

 

Propietat associativa:

 

Altres formes de notació de l'àlgebra de BooleModifica

A Lògica binària se sol emprar la notació  , comú en la tecnologia digital, sent la forma més usual i la més còmoda de representar. Per exemple les lleis de De Morgan es representen així:

 
 


Quan l'àlgebra de Boole s'empra en electrònica, sol emprar-se la mateixa denominació que per a les porta lògica AND(I), OR(O) i NOT(NO), ampliant-se de vegades amb X-OR (O exclusiva) i les seves negades NAND (NO I), NOR (NO O) i X-NOR (equivalència). Les variables es poden representar amb lletres majúscules o minúscules, i poden prendre els valors {0, 1}.

Emprant aquesta notació les lleis de De Morgan es representen:

 
 

En la seva aplicació a la lògica es fa servir la notació   i les variables poden prendre els valors {F, V}, fals o veritable, equivalents a {0, 1 }

Amb la notació lògica les lleis de De Morgan serien així:

 
 

En el format de Teoria de conjunts el Àlgebra de Boole toma l'aspecte:  

En aquesta notació les lleis de De Morgan serien així:

 
 

Altra forma en l'àlgebra de conjunts del Àlgebra de Boole, les lleis de De Morgan seríen així:

 
 

Des del punt de vista pràctic hi ha una forma simplificada de representar expressions booleanes. S'utilitzen apòstrofs (') per indicar la negació, l'operació suma (+) es representa de la forma normal en àlgebra, i per al producte no s'empra cap signe, les variables es representen, normalment amb una lletra majúscula, la successió de dues variables indica el producte entre elles, no una variable nomenada amb dues lletres.

La representació de les lleis de De Morgan amb aquest sistema quedaria així, amb lletra minúscules per a les variables:

 
 

i així, emprant lletres majúscules per representar les variables:

 
 

Totes aquestes formes de representació són correctes, s'utilitzen de fet, i es poden veure en consultar bibliografia. La utilització d'una o altra notació no modifica l'àlgebra de Boole, només el seu aspecte, i depèn de la branca de les matemàtiques o la tecnologia en què s'estigui utilitzant per fer servir una o altra notació.

Estructures algebraiques que són àlgebra de BooleModifica

Hi ha nombrosos casos de diferents anàlisis d'estructures algebraiques que corresponen a l'àlgebra de Boole, encara que en aparença són molt diferents, la seva estructura és la mateixa. En veurem alguns, amb el propòsit de fer palpable les similituds en l'estructura i els diferents àmbits d'aplicació i terminologia diferent per referir-se a les operacions o les variables.

Lògica binariaModifica

Article principal: Lògica binaria

Article principal: Sistema digital

Article principal: Sistema binario

Article principal: Taula de veritat

Article principal: Lògica combinacional

Article principal: Formes canònica (àlgebra de Boole)

Article principal: Circuit de commutació


Una sèrie de temes, aparentment tan diferents, té dues coses en comú, la lògica binària basada en els zeros i els uns i l'àlgebra de Boole, possiblement la forma més coneguda d'aquesta àlgebra, que de vegades dóna lloc a la interpretació que el àlgebra de Boole és la lògica binària exclusivament, així el conjunt   en aquest cas està format per dos elements {0,1}, o {F, V}, o {no, sí }, dos valors contraposats, que són les dues possibles alternatives entre dues situacions possibles, aquí, sense pèrdua de la generalitat, prendrem el conjunt: {0,1} com ja hem dit:

 

On:

 
 
  • L'operació unària interna, que anomenarem negació:
 
 

L'operació unaria interna negació, definim una aplicació que a cada element a de {0,1}, li assigna un b de {0, 1}.

 

Per a tot element a a {0,1}, es compleix que existeix un únic b a {0,1}, tal que b és la negació de a. Com es veu a la taula. Per a tot element a a {0,1}, es compleix que existeix un únic b a {0, 1}, tal que b és la negació de a. Com es veu a la taula.

  • L'operació binària interna, que anomenarem suma:
 
 

Amb l'operació suma definim una aplicació que, a cada parell ordenat (a, b) de B per B, li assigna un c de B.

 

Per a tot parell ordenat (a,b) a B per B, es compleix que existeix un únic c a B, tal que c és el resultat de sumar a amb b.

  • l'operació binària interna, que anomenarem producte:
 
 

Amb l'operació producte definim una aplicació que, a cada parell ordenat (a, b) de B per B, li assigna un c de B.

 

Per a tot parell ordenat (a, b) a B per B, es compleix que existeix un únic c a B, tal que c és el resultat del producte a i b. Com es pot veure a la taula.

AxiomesModifica

Així   és un àlgebra de Boole al cumplir els seguents axiomes:

  • 1a: La llei associativa de la suma:
 
  • 1b: La llei associativa del producte:
 
  • 2a: Existència de l'element neutre per a la suma:
 
  • 2b: Existència de l'element neutre per al producte:
 
  • 3a: La llei commutativa de la suma:
 
  • 3b: La llei commutativa del producte:
 
  • 4a: Llei distributiva de la suma respecto al producte:
 
  • 4b: Llei distributiva del producte respecto a la suma:
 
  • 5a: Existeix element complementari per a la suma:
 
  • 5b: Existeix element complementari per al producte:
 

Per tant   és àlgebra de Boole.

Teoremes fonamentalsModifica

A partir d'aquests axiomes es poden demostrar els següents teoremes:

  • 6a: Llei de idempotencia per a la suma:
 
  • 6b: Llei de idempotencia per al producte:
 
  • 7a: Llei de absorció per a la suma:
 
  • 7b: Llei de absorció per al producte:
 
  • 8a: Llei de identitat per a la suma:
 
  • 8b: Llei de identitat per al producte:
 
  • 9: Llei de involució:
 
  • 10: Llei del complement:
 
 
  • 11: Lleis de De Morgan:
 
 

Ordre a l'àlgebra de BooleModifica

Partient de   àlgebra de Boole, donades dos variables binaries: a, b, que compleixen alguna de aquestes condicions:

 

llavors a es menor o igual que b. Donats els valors binaris 0 y 1, podem veure:

  1.  
  2.  
  3.  
  4.  

Aquestes quatre condicions són equivalents i el compliment d'una suposa el compliment de les altres, en aquest cas és senzill comprovar-les totes. Després podem dir que 0 antecedeix a 1 i ho denotem:

 

Si a més sabem que 0 y 1 son valors diferents:

 

El valor binari 0 és menor que el valor binari 1.

Àlgebra de Boole aplicada a la informàticaModifica

Una variable té un valor booleà quan, en general, la variable conté un 0 lògic i un 1 lògic. Això, en la majoria dels llenguatges de programació, es tradueix en false (fals) o true (verdader), respectivament. Una variable pot no ser del tipus booleà, i guardar valors que, en principi, no són booleans, ja que, globalment, els compiladors treballen amb aquests altres valors, numèrics normalment encara que també alguns permeten canvis fins i tot des de caràcters, finalitzant en valor booleà.

El 0 lògic   El valor booleà de negació sol ser representada com false, encara que també permet i equival al valor natural, enter i decimal (exacte) 0, així com la cadena false, inclosa la cadena “0”.

L'1 lògic   En canvi, la resta de valors apunten al valor booleà d'afirmació, representat normalment com a true, ja que, per definició, el valor 1 es té quan no és 0. Qualsevol nombre diferent de zero es comporta com un 1 lògic, i el mateix passa amb quasi totes les cadenes (menys la false, en cas de ser la corresposta al 0 lògic).

ReferènciesModifica

  1. «El matemático que inventó hace más de 150 años cómo buscar en Google». [Consulta: 20 enero 2015].
  2. «The Algebra of Logic Tradition» (en anglès). The Stanford Encyclopedia of Philosophy. [Consulta: 7 octubre 2021].
  3. Díaz Martín, José Fernando; Arsuaga Uriarte, Eider; Riaño Sierra, Jesús M. «4.4.3». A: Introducció a l'àlgebra. Netbiblo, 2005, p. 147. ISBN 84-9745-128-7. 
  4. Diccionario de Filosofía (en castellà). 1a. Barcelona: SPES Editorial (edició especial per a RBA Editoriales), 2003, p. 1-2 (Biblioteca de Consulta Larousse). ISBN 84-8332-398-2. 

Vegeu tambéModifica

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Àlgebra de Boole