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

Homomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoHomomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoPatricia Herrera
 
Sesión 03,Plano tangente, derivadas parciales y derivada direccional
Sesión 03,Plano tangente, derivadas parciales y derivada direccionalSesión 03,Plano tangente, derivadas parciales y derivada direccional
Sesión 03,Plano tangente, derivadas parciales y derivada direccionalJuan Carlos Broncanotorres
 
Ley de gauss. ing. carlos moreno (ESPOL)
Ley de gauss. ing. carlos moreno (ESPOL)Ley de gauss. ing. carlos moreno (ESPOL)
Ley de gauss. ing. carlos moreno (ESPOL)Francisco Rivas
 
Ejercicios propuestos Electrostática
Ejercicios propuestos ElectrostáticaEjercicios propuestos Electrostática
Ejercicios propuestos ElectrostáticaKike Prieto
 
Interpolación método de Lagrange
Interpolación método de LagrangeInterpolación método de Lagrange
Interpolación método de LagrangeKike Prieto
 
Ejercicios resueltos sección 4.6
Ejercicios resueltos sección 4.6Ejercicios resueltos sección 4.6
Ejercicios resueltos sección 4.6venecye
 
Capacitancia. ing. carlos moreno (ESPOL)
Capacitancia. ing. carlos moreno (ESPOL)Capacitancia. ing. carlos moreno (ESPOL)
Capacitancia. ing. carlos moreno (ESPOL)Francisco Rivas
 
Diferenciación por 3 y 5 puntos
Diferenciación por 3 y 5 puntosDiferenciación por 3 y 5 puntos
Diferenciación por 3 y 5 puntosalan moreno
 
Ejercicios resueltos de dependencia e independencia lineal
Ejercicios resueltos de dependencia e independencia linealEjercicios resueltos de dependencia e independencia lineal
Ejercicios resueltos de dependencia e independencia linealalgebra
 
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICOAPUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICOJulio Ruano
 
Ecuaciones diferenciales-orden-superior
Ecuaciones diferenciales-orden-superiorEcuaciones diferenciales-orden-superior
Ecuaciones diferenciales-orden-superiorSabena29
 
Derivadas de funciones paramétricas
Derivadas de funciones paramétricas Derivadas de funciones paramétricas
Derivadas de funciones paramétricas Erick Guaman
 
Reduccion de orden
Reduccion de ordenReduccion de orden
Reduccion de ordenjackytas7
 
Deducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitas
Deducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitasDeducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitas
Deducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitasFrancisco Reyes
 
Alg lineal unidad 3
Alg lineal unidad 3Alg lineal unidad 3
Alg lineal unidad 3migwer
 

Tendances (20)

Homomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoHomomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpo
 
Sesión 03,Plano tangente, derivadas parciales y derivada direccional
Sesión 03,Plano tangente, derivadas parciales y derivada direccionalSesión 03,Plano tangente, derivadas parciales y derivada direccional
Sesión 03,Plano tangente, derivadas parciales y derivada direccional
 
Ley de gauss. ing. carlos moreno (ESPOL)
Ley de gauss. ing. carlos moreno (ESPOL)Ley de gauss. ing. carlos moreno (ESPOL)
Ley de gauss. ing. carlos moreno (ESPOL)
 
leyes de coulomb y campo electrico
leyes de coulomb y campo electricoleyes de coulomb y campo electrico
leyes de coulomb y campo electrico
 
Ejercicios propuestos Electrostática
Ejercicios propuestos ElectrostáticaEjercicios propuestos Electrostática
Ejercicios propuestos Electrostática
 
Newton Raphson-ejercicios resueltos.
Newton Raphson-ejercicios resueltos.Newton Raphson-ejercicios resueltos.
Newton Raphson-ejercicios resueltos.
 
Circuitos digitales-problemas
Circuitos digitales-problemasCircuitos digitales-problemas
Circuitos digitales-problemas
 
Interpolación método de Lagrange
Interpolación método de LagrangeInterpolación método de Lagrange
Interpolación método de Lagrange
 
Algebra Booleana 2
Algebra Booleana 2Algebra Booleana 2
Algebra Booleana 2
 
Ejercicios resueltos sección 4.6
Ejercicios resueltos sección 4.6Ejercicios resueltos sección 4.6
Ejercicios resueltos sección 4.6
 
Capacitancia. ing. carlos moreno (ESPOL)
Capacitancia. ing. carlos moreno (ESPOL)Capacitancia. ing. carlos moreno (ESPOL)
Capacitancia. ing. carlos moreno (ESPOL)
 
Diferenciación por 3 y 5 puntos
Diferenciación por 3 y 5 puntosDiferenciación por 3 y 5 puntos
Diferenciación por 3 y 5 puntos
 
Ejercicios resueltos de dependencia e independencia lineal
Ejercicios resueltos de dependencia e independencia linealEjercicios resueltos de dependencia e independencia lineal
Ejercicios resueltos de dependencia e independencia lineal
 
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICOAPUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
 
Ecuaciones diferenciales-orden-superior
Ecuaciones diferenciales-orden-superiorEcuaciones diferenciales-orden-superior
Ecuaciones diferenciales-orden-superior
 
Derivadas de funciones paramétricas
Derivadas de funciones paramétricas Derivadas de funciones paramétricas
Derivadas de funciones paramétricas
 
Condensadores problemas-gonzalo revelo pabon
Condensadores  problemas-gonzalo revelo pabonCondensadores  problemas-gonzalo revelo pabon
Condensadores problemas-gonzalo revelo pabon
 
Reduccion de orden
Reduccion de ordenReduccion de orden
Reduccion de orden
 
Deducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitas
Deducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitasDeducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitas
Deducción del método de Newton Raphson para 3 ecuaciones con 3 incógnitas
 
Alg lineal unidad 3
Alg lineal unidad 3Alg lineal unidad 3
Alg lineal unidad 3
 

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
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de booleBetzi Lira
 
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
 
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 booleAlgebra boole
Algebra boole
 
Algebra boole
Algebra boole Algebra boole
Algebra boole
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de 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 ...
 
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’