SlideShare une entreprise Scribd logo
1  sur  18
ÁLGEBRAS DE BOOLE para Computación By Miguel Pérez Fontenla,  January 2012
[object Object]
ALGEBRAS DE BOOLE Álgebra de Boole  en informática y matemáticas, es una estructura algebraica que esquematiza las operaciones lógicas  Y, O , NO y Si  ( AND, OR, NOT, IF ) Definición: Álgebra de Boole
ALGEBRAS DE BOOLE ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Definición: Álgebra de Boole
ALGEBRAS DE BOOLE ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],PRINCIPIO DE DUALIDAD
ALGEBRAS DE BOOLE ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],PRINCIPIO DE DUALIDAD
ALGEBRAS DE BOOLE ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],EJEMPLOS DE ALGEBRAS DE BOOLE
ALGEBRAS DE BOOLE TEOREMAS BASICOS Propiedad Ley Ley dual 1.- Ley Conmutativa a + b = b + a a * b = b * a 2.- Ley Asociativa (a  + b) + c  ≡  a  + ( b  + c) (a  *  b)  *  c  ≡  a  *  ( b *  c) 3.- Ley Distributiva a  *(b  +  c)  ≡  ( a  * b) +  (a *c) a  +  (b *c)  ≡  ( a  +   b)  *(a  +  c) 4.- Ley de Idempotencia a  + a  ≡  a  a  *  a  ≡  a  5.- Ley de Identidad a  +  1   ≡  1  a  +  0   ≡  a a  *   0   ≡  0   a  *   1   ≡  a 6.- Ley de Complemento a  +  a’ ≡  1 0’  ≡  1 a * a’ ≡ 0 1’ ≡  0 7.- Ley de involución ,[object Object],[object Object],8.- Ley de Morgan ∼ (a  +  b)  ≡   ∼ a  *   ∼ b ∼ (a  *  b)  ≡   ∼ a  + ∼ b
ALGEBRAS DE BOOLE Teorema: Unicidad del complemento Sea B un álgebra de Boole y sean a, x  ∊  B, se verifica que si a + x = 1 a * x = 0 (dual)  entonces x = a’ Teorema: Leyes de redundancia Sea B un álgebra de Boole y sean a, b  ∊  B, entonces se verifica: Propiedad Ley Ley dual 1ª Ley de redundancia a + (a * b) = a a * (a + b) = a 2ª Ley de redundancia a * (a’ + b) = a * b  a + (a’ * b) = a + b  
ALGEBRAS DE BOOLE EQUIVALENCIAS Algebra de Conjuntos Algebra de proposiciones Algebras de Boole Unión  ⋃ Disyunción  ∨ Suma  + Intersección  ⋂ Conjunción  ∧ Producto  · Complementario  c Negación  ∼ Complemento  ‘ Conjunto vacío  ∅ Falsedad  f Elemento 0  0 Conjunto universal  U Tautología  τ Elemento 1  1
ALGEBRAS DE BOOLE EXPRESIONES DE BOOLE: SUMAS DE PRODUCTOS Definición: Expresión o función Booleana Sean x 1 , x 2 , ..., x n  ∊ B.  Se denomina expresión booleana (o función booleana) de esas variables a cualquier expresión construida con ellas y las operaciones booleanas +, * y ‘. Definición: Literal Un literal es una variable o una variable complementada, es decir ó  x  ó  x’  (o cualquier otra letra  y ,  y’ , z’ ,..) Definición: Producto fundamental Un producto fundamental es un producto de dos o más literales donde ninguno tiene la misma variable Ejemplo Son productos fundamentales  xy’z, x’y’, zx’t’ No son productos fundamentales  x’x, y’,  zx’yx
ALGEBRAS DE BOOLE Proposición Todo producto de Boole se puede reducir a 0 o a un producto fundamental Definición: Inclusión Un producto fundamental P 1  se dice incluído en otro P 2 , si todos los literales que conforman P 1  son también literales de P 2 . Proposición Si un producto fundamental P 1  está incluído en otro P 2  entonces P 1  + P 2  = P 1 . Ejemplo xy’ + xy’z’ = xy’ + (xy’) z’ = xy’
ALGEBRAS DE BOOLE Definición: Suma de Productos o minterm  Una expresión de Boole E se dice que está en  forma de suma de productos  (o también denominada  minterm  que viene de mínimo término)  si E es la suma de uno o varios productos fundamentales, donde ninguno de ellos está  contenido en otro. Ejemplo E 1  =  xyz + xy’ + xy’z’  (no!) E 2  =  xyz + x’y’ + xy’z’ (Si!) Definición: producto de sumas o maxterm Una expresión de Boole E se dice que está en  forma de producto de sumas  (o también denominada  maxterm  que viene de término máximo) si E es producto de sumas donde en cada una de los multiplicandos están sumadas todas las variables, complementadas o no.. Ejemplo E 1  =  (x+y+z)(x+y’+z’)(x’+y+z’)  (si!) E 2  =  (x+y+z)(x+z+z’)(x’+y+z’)’  (no!)
ALGEBRAS DE BOOLE Proposición Toda expresión de Boole se puede poner en forma de suma de productos Demostración Usamos, por este orden, las siguientes leyes: 1º) Aplicamos las Leyes de  Morgan  y leyes de  involución . Así suprimimos los complementos de los paréntesis existentes y los dobles complementos que aparezcan. 2º) Aplicamos la ley  distributiva   Así eliminamos cuantos paréntesis nos queden, quedando la expresión en suma de productos 3º) Aplicamos las leyes  conmutativa ,  idempotencia, identidad y complemento   Así transformamos cada producto en 0 o en un producto fundamental. 4º)  Aplicamos la ley de absorción  Dejando la expresión en forma de suma de productos
ALGEBRAS DE BOOLE Ejemplo Transformar en suma de productos la expresión  E = ((ab’)’ + c)((a + b’)c’ + (b’ + c)’) =... Solución Por la ley de Morgan  ...= ((a’ + b’’) + c)((a + b’)c’ + b’’c’) = ... Por el complemento  ...= ((a’ + b) + c)((a + b’)c’ + bc’) = ... Por la distributiva  ...= (a’ + b + c)(ac’ + b’c’ + bc’) = ... Por la distributiva  ...= a’ac’ + a’b’c’ +a’bc’ + bac’ + bb’c’ + bbc’ + cac’ + cb’c’ + cbc’ = ... Por la conmutativa  ...= aa’c’ + a’b’c’ +a’bc’ + abc’ + bb’c’ + bbc’ + acc’ + b’cc’ + bcc’ = ... Por el complemento  ...= 0c’ + a’b’c’ +a’bc’ + abc’ + 0c’ + bbc’ + a0 + b’0 + b0 = ... Por la identidad  ...= 0 + a’b’c’ + a’bc’ + abc’ + 0 + bbc’ + 0 + 0 + 0 = ... Por la idempotencia  ...= a’b’c’ + a’bc’ + abc’ + bc’ = ... Por la absorción  ...= a’b’c’ + bc’
ALGEBRAS DE BOOLE Definición: Forma completa o canónica de suma de productos Una expresión de Boole E no nula se dice que está en  forma completa  (también le podemos llamar canónica disyuntiva)  de suma de productos  cuando está en forma de suma de productos y en cada producto se usan todas las variables que componen E   Ejemplo En el ejemplo previo la expresión resultante E = a’b’c’ + bc’ no está en forma completa de suma de productos pues el segundo sumando no contiene la variable  c.   Teorema Toda expresión de Boole E no nula se puede escribir como forma completa de suma de productos y dicha expresión es única.   Ejemplo La expresión anterior E = a’b’c’ + bc’ se consigue escribir en forma completa de suma de productos con solo realizar el proceso  siguiente   E = a’b’c’ + bc’ = ... Por la identidad  ...= a’b’c’ + bc’1 = ... Por el complemento ...= a’b’c’ + (a + a’)bc’ = ... Por la distributiva ...= a’b’c’ + abc’ + a’bc’   Resultando finalmente  E = a’b’c’ + abc’ + a’bc’
ALGEBRAS DE BOOLE
ALGEBRAS DE BOOLE

Contenu connexe

Tendances

La curva característica del diodo
La curva característica del diodoLa curva característica del diodo
La curva característica del diodoantonio vasquez
 
Programacion en WinCupl
Programacion en WinCuplProgramacion en WinCupl
Programacion en WinCuplGilbert_28
 
Teoremas y postulados del algebra de boole
Teoremas y postulados del algebra de booleTeoremas y postulados del algebra de boole
Teoremas y postulados del algebra de booleElizabeth Gomez Madrigal
 
Analisis circuitos eléctricos primer y segundo orden
Analisis circuitos eléctricos primer y segundo ordenAnalisis circuitos eléctricos primer y segundo orden
Analisis circuitos eléctricos primer y segundo ordenUniversidad Nacional de Loja
 
2.2. Configuraciones de Diodos en Serie en DC
2.2. Configuraciones de Diodos en Serie en DC2.2. Configuraciones de Diodos en Serie en DC
2.2. Configuraciones de Diodos en Serie en DCOthoniel Hernandez Ovando
 
Amplificadores Operacionales - Seguidor, Inversor y No Inversor
Amplificadores Operacionales - Seguidor, Inversor y No InversorAmplificadores Operacionales - Seguidor, Inversor y No Inversor
Amplificadores Operacionales - Seguidor, Inversor y No InversorCris Mascote
 
Sistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempoSistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempoMari Colmenares
 
Propiedad de linealidad - Principio de Superposición
Propiedad de linealidad - Principio de SuperposiciónPropiedad de linealidad - Principio de Superposición
Propiedad de linealidad - Principio de SuperposiciónJohan Jair Porras Huamán
 
Tema 2 ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIOR
Tema 2 	ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIORTema 2 	ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIOR
Tema 2 ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIORfederico paniagua
 

Tendances (20)

Ac reg clase2
Ac reg clase2Ac reg clase2
Ac reg clase2
 
TTL-CMOS
TTL-CMOSTTL-CMOS
TTL-CMOS
 
Sumador\Restador
Sumador\RestadorSumador\Restador
Sumador\Restador
 
Circuitos digitales-problemas
Circuitos digitales-problemasCircuitos digitales-problemas
Circuitos digitales-problemas
 
La curva característica del diodo
La curva característica del diodoLa curva característica del diodo
La curva característica del diodo
 
Ejercicios circuitos i
Ejercicios circuitos iEjercicios circuitos i
Ejercicios circuitos i
 
Reporte compuertas logicas
Reporte compuertas logicas Reporte compuertas logicas
Reporte compuertas logicas
 
Clase MSI
Clase MSIClase MSI
Clase MSI
 
Programacion en WinCupl
Programacion en WinCuplProgramacion en WinCupl
Programacion en WinCupl
 
Teoremas y postulados del algebra de boole
Teoremas y postulados del algebra de booleTeoremas y postulados del algebra de boole
Teoremas y postulados del algebra de boole
 
Analisis circuitos eléctricos primer y segundo orden
Analisis circuitos eléctricos primer y segundo ordenAnalisis circuitos eléctricos primer y segundo orden
Analisis circuitos eléctricos primer y segundo orden
 
2.2. Configuraciones de Diodos en Serie en DC
2.2. Configuraciones de Diodos en Serie en DC2.2. Configuraciones de Diodos en Serie en DC
2.2. Configuraciones de Diodos en Serie en DC
 
Propiedades del algebra de boole
Propiedades del algebra de boolePropiedades del algebra de boole
Propiedades del algebra de boole
 
Amplificadores Operacionales - Seguidor, Inversor y No Inversor
Amplificadores Operacionales - Seguidor, Inversor y No InversorAmplificadores Operacionales - Seguidor, Inversor y No Inversor
Amplificadores Operacionales - Seguidor, Inversor y No Inversor
 
Sistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempoSistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempo
 
Aplicaciones de las ecuaciones diferenciales
Aplicaciones de las ecuaciones diferenciales Aplicaciones de las ecuaciones diferenciales
Aplicaciones de las ecuaciones diferenciales
 
Propiedad de linealidad - Principio de Superposición
Propiedad de linealidad - Principio de SuperposiciónPropiedad de linealidad - Principio de Superposición
Propiedad de linealidad - Principio de Superposición
 
Metodo de Runge Kutta en Matlab
Metodo de Runge Kutta en Matlab Metodo de Runge Kutta en Matlab
Metodo de Runge Kutta en Matlab
 
Compuertas logicas
Compuertas logicasCompuertas logicas
Compuertas logicas
 
Tema 2 ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIOR
Tema 2 	ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIORTema 2 	ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIOR
Tema 2 ECUACIONES DIFERENCIALES LINEALES DE ORDEN SUPERIOR
 

Similaire à Álgebras de Boole y sus aplicaciones en computación

Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicosdukefirula
 
Presentación logica matematica
Presentación   logica matematicaPresentación   logica matematica
Presentación logica matematicapinedaquintero
 
Algebra boole
Algebra booleAlgebra boole
Algebra booledivadlfc
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Betzi Lira
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de booleBetzi Lira
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfExample404
 
Ap circuitos
Ap circuitosAp circuitos
Ap circuitosjuc309
 
2 - 3 Algebra de Boole (2).pptx
2 - 3 Algebra de Boole (2).pptx2 - 3 Algebra de Boole (2).pptx
2 - 3 Algebra de Boole (2).pptxMauCR2
 
Electrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicasElectrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicasSANTIAGO PABLO ALBERTO
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanajesusmora18
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de booleyaise
 

Similaire à Álgebras de Boole y sus aplicaciones en computación (20)

Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 
Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicos
 
Presentación logica matematica
Presentación   logica matematicaPresentación   logica matematica
Presentación logica matematica
 
Algebra boole
Algebra boole Algebra boole
Algebra boole
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de boole
 
tema 01 sistemas digitales
tema 01 sistemas digitalestema 01 sistemas digitales
tema 01 sistemas digitales
 
Alg boole
Alg booleAlg boole
Alg boole
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdf
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 
2 - 3 Algebra de Boole (2).pptx
2 - 3 Algebra de Boole (2).pptx2 - 3 Algebra de Boole (2).pptx
2 - 3 Algebra de Boole (2).pptx
 
Adbequipo1
Adbequipo1Adbequipo1
Adbequipo1
 
Electrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicasElectrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicas
 
Funciones booleanas
Funciones booleanasFunciones booleanas
Funciones booleanas
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 

Plus de miguelperezfontenla

Plus de miguelperezfontenla (14)

[Maths] 6.3.2 compuertas logicas
[Maths] 6.3.2 compuertas logicas[Maths] 6.3.2 compuertas logicas
[Maths] 6.3.2 compuertas logicas
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
[Maths] 3.6 geometria espacio v
[Maths] 3.6 geometria espacio v[Maths] 3.6 geometria espacio v
[Maths] 3.6 geometria espacio v
 
[Maths] 3.6 geometria espacio iv
[Maths] 3.6 geometria espacio iv[Maths] 3.6 geometria espacio iv
[Maths] 3.6 geometria espacio iv
 
[Maths] 3.6 geometria espacio iii
[Maths] 3.6 geometria espacio iii[Maths] 3.6 geometria espacio iii
[Maths] 3.6 geometria espacio iii
 
[Maths] 3.6 geometria espacio ii
[Maths] 3.6 geometria espacio ii[Maths] 3.6 geometria espacio ii
[Maths] 3.6 geometria espacio ii
 
[Maths] 3.6 geometria espacio i
[Maths] 3.6 geometria espacio i[Maths] 3.6 geometria espacio i
[Maths] 3.6 geometria espacio i
 
Proyecto Comenius
Proyecto ComeniusProyecto Comenius
Proyecto Comenius
 
[Maths] 2.5.1 matrices y determinantes mpf
[Maths] 2.5.1 matrices y determinantes mpf[Maths] 2.5.1 matrices y determinantes mpf
[Maths] 2.5.1 matrices y determinantes mpf
 
[Maths] 4.6.1 derivadas.problemas bis
[Maths] 4.6.1 derivadas.problemas bis[Maths] 4.6.1 derivadas.problemas bis
[Maths] 4.6.1 derivadas.problemas bis
 
[Maths] Sequences 2003 Bis
[Maths] Sequences 2003 Bis[Maths] Sequences 2003 Bis
[Maths] Sequences 2003 Bis
 
Chistes Acerca De MatemáTicas
Chistes Acerca De MatemáTicasChistes Acerca De MatemáTicas
Chistes Acerca De MatemáTicas
 
[Maths] Sequences 03
[Maths] Sequences 03[Maths] Sequences 03
[Maths] Sequences 03
 
[Maths] Sequences
[Maths] Sequences[Maths] Sequences
[Maths] Sequences
 

Álgebras de Boole y sus aplicaciones en computación

  • 1. ÁLGEBRAS DE BOOLE para Computación By Miguel Pérez Fontenla, January 2012
  • 2.
  • 3. ALGEBRAS DE BOOLE Álgebra de Boole en informática y matemáticas, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y Si ( AND, OR, NOT, IF ) Definición: Álgebra de Boole
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9. ALGEBRAS DE BOOLE Teorema: Unicidad del complemento Sea B un álgebra de Boole y sean a, x ∊ B, se verifica que si a + x = 1 a * x = 0 (dual) entonces x = a’ Teorema: Leyes de redundancia Sea B un álgebra de Boole y sean a, b ∊ B, entonces se verifica: Propiedad Ley Ley dual 1ª Ley de redundancia a + (a * b) = a a * (a + b) = a 2ª Ley de redundancia a * (a’ + b) = a * b a + (a’ * b) = a + b  
  • 10. ALGEBRAS DE BOOLE EQUIVALENCIAS Algebra de Conjuntos Algebra de proposiciones Algebras de Boole Unión ⋃ Disyunción ∨ Suma + Intersección ⋂ Conjunción ∧ Producto · Complementario c Negación ∼ Complemento ‘ Conjunto vacío ∅ Falsedad f Elemento 0 0 Conjunto universal U Tautología τ Elemento 1 1
  • 11. ALGEBRAS DE BOOLE EXPRESIONES DE BOOLE: SUMAS DE PRODUCTOS Definición: Expresión o función Booleana Sean x 1 , x 2 , ..., x n ∊ B. Se denomina expresión booleana (o función booleana) de esas variables a cualquier expresión construida con ellas y las operaciones booleanas +, * y ‘. Definición: Literal Un literal es una variable o una variable complementada, es decir ó x ó x’ (o cualquier otra letra y , y’ , z’ ,..) Definición: Producto fundamental Un producto fundamental es un producto de dos o más literales donde ninguno tiene la misma variable Ejemplo Son productos fundamentales xy’z, x’y’, zx’t’ No son productos fundamentales x’x, y’, zx’yx
  • 12. ALGEBRAS DE BOOLE Proposición Todo producto de Boole se puede reducir a 0 o a un producto fundamental Definición: Inclusión Un producto fundamental P 1 se dice incluído en otro P 2 , si todos los literales que conforman P 1 son también literales de P 2 . Proposición Si un producto fundamental P 1 está incluído en otro P 2 entonces P 1 + P 2 = P 1 . Ejemplo xy’ + xy’z’ = xy’ + (xy’) z’ = xy’
  • 13. ALGEBRAS DE BOOLE Definición: Suma de Productos o minterm Una expresión de Boole E se dice que está en forma de suma de productos (o también denominada minterm que viene de mínimo término) si E es la suma de uno o varios productos fundamentales, donde ninguno de ellos está contenido en otro. Ejemplo E 1 = xyz + xy’ + xy’z’ (no!) E 2 = xyz + x’y’ + xy’z’ (Si!) Definición: producto de sumas o maxterm Una expresión de Boole E se dice que está en forma de producto de sumas (o también denominada maxterm que viene de término máximo) si E es producto de sumas donde en cada una de los multiplicandos están sumadas todas las variables, complementadas o no.. Ejemplo E 1 = (x+y+z)(x+y’+z’)(x’+y+z’) (si!) E 2 = (x+y+z)(x+z+z’)(x’+y+z’)’ (no!)
  • 14. ALGEBRAS DE BOOLE Proposición Toda expresión de Boole se puede poner en forma de suma de productos Demostración Usamos, por este orden, las siguientes leyes: 1º) Aplicamos las Leyes de Morgan y leyes de involución . Así suprimimos los complementos de los paréntesis existentes y los dobles complementos que aparezcan. 2º) Aplicamos la ley distributiva Así eliminamos cuantos paréntesis nos queden, quedando la expresión en suma de productos 3º) Aplicamos las leyes conmutativa , idempotencia, identidad y complemento Así transformamos cada producto en 0 o en un producto fundamental. 4º) Aplicamos la ley de absorción Dejando la expresión en forma de suma de productos
  • 15. ALGEBRAS DE BOOLE Ejemplo Transformar en suma de productos la expresión E = ((ab’)’ + c)((a + b’)c’ + (b’ + c)’) =... Solución Por la ley de Morgan ...= ((a’ + b’’) + c)((a + b’)c’ + b’’c’) = ... Por el complemento ...= ((a’ + b) + c)((a + b’)c’ + bc’) = ... Por la distributiva ...= (a’ + b + c)(ac’ + b’c’ + bc’) = ... Por la distributiva ...= a’ac’ + a’b’c’ +a’bc’ + bac’ + bb’c’ + bbc’ + cac’ + cb’c’ + cbc’ = ... Por la conmutativa ...= aa’c’ + a’b’c’ +a’bc’ + abc’ + bb’c’ + bbc’ + acc’ + b’cc’ + bcc’ = ... Por el complemento ...= 0c’ + a’b’c’ +a’bc’ + abc’ + 0c’ + bbc’ + a0 + b’0 + b0 = ... Por la identidad ...= 0 + a’b’c’ + a’bc’ + abc’ + 0 + bbc’ + 0 + 0 + 0 = ... Por la idempotencia ...= a’b’c’ + a’bc’ + abc’ + bc’ = ... Por la absorción ...= a’b’c’ + bc’
  • 16. ALGEBRAS DE BOOLE Definición: Forma completa o canónica de suma de productos Una expresión de Boole E no nula se dice que está en forma completa (también le podemos llamar canónica disyuntiva) de suma de productos cuando está en forma de suma de productos y en cada producto se usan todas las variables que componen E   Ejemplo En el ejemplo previo la expresión resultante E = a’b’c’ + bc’ no está en forma completa de suma de productos pues el segundo sumando no contiene la variable c.   Teorema Toda expresión de Boole E no nula se puede escribir como forma completa de suma de productos y dicha expresión es única.   Ejemplo La expresión anterior E = a’b’c’ + bc’ se consigue escribir en forma completa de suma de productos con solo realizar el proceso siguiente   E = a’b’c’ + bc’ = ... Por la identidad ...= a’b’c’ + bc’1 = ... Por el complemento ...= a’b’c’ + (a + a’)bc’ = ... Por la distributiva ...= a’b’c’ + abc’ + a’bc’   Resultando finalmente E = a’b’c’ + abc’ + a’bc’