SlideShare una empresa de Scribd logo
LOGICA MATEMATICA

    ALGEBRA BOOLEANA DE CONJUNTOS
    Y ALGEBRA BOOLEANA DE LA LOGICA

             PRESENTADO POR

       ALVARO JAVIER GONZALEZ DIAZ
             COD 1063955420
            ARNAUL MELENDEZ
                   COD

              PRESENTADO A



UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
           VALLEDUPAR CESAR
                  2012
La herramienta fundamental para el análisis y diseño de circuitos
digitales es el Álgebra Booleana. Esta álgebra es un conjunto de
reglas matemáticas (similares en algunos aspectos al álgebra
convencional), pero que tienen la virtud de corresponder al
comportamiento de circuitos basados en dispositivos de
conmutación (interruptores, relevadores, transistores, etc.). En
este capítulo se presentan los postulados que definen el álgebra
booleana, se presentan en forma de teoremas los resultados más
importantes, se presentan también los tres ejemplos clásicos de
álgebras boolenas (lógica proposicional, álgebra de conjuntos,
álgebra de switches) y herramientas básicas como tablas
de verdad y diagramas de Venn.
En un principio algunos de los postulados anteriores
pueden parecer extraños, especialmente aquellos
que son diferentes al álgebra con número reales
(como el 5a, el 6a y el 6b), y puede ser difícil
encontrar situaciones de interés que cumplan al pie
de la letra con cada uno de ellos, sin embargo,
existen varios ejemplos, de los cuales se presentan
los siguientes tres clásicos, en los cuales se verifica
que se trata de álgebras de Boole, es decir, que se
cumple postulado por postulado.
1.- Para este ejemplo el conjunto B es el conjunto de
todos los conjuntos a tratar. La suma es la
unión de conjuntos (U) y la multiplicación es la
intersección (Ç) de conjuntos.
2.- Existencia de neutros. El neutro de la unión es el
conjunto vacío F , mientras que el neutro de la
intersección es el conjunto universo U, ya que para
cualquier conjunto arbitrario A, A U F = A y A Ç U= A.
3.- Conmutatividad. La unión y la intersección son
conmutativas, ya que para cualquier par de
conjuntos A, B: A U B = B U A y A ÇB = B ÇA
4.- Asociatividad. La unión y la intersección de conjuntos son
asociativas, ya que para cualesquiera
tres conjuntos A, B, C: A U (B U C) = (A U B) U C y A Ç (B Ç
C) = (A Ç B) Ç C
5.- Distributividad. La unión de conjuntos es distributiva
sobre la intersección, y viceversa, la
intersección es distributiva sobre la unión, ya que para
cualesquiera tres conjuntos A, B, C: A U (B Ç
C) = (A U B) Ç (A U C) y A Ç (B U C) = (A Ç B) U (A Ç C)
6.- Existencia de complementos. El conjunto complemento
Ac cumple con las propiedades deseadas:
A U Ac = U y A Ç Ac = F
En la siguiente figura se muestran diagramas de Venn
para los conjuntos A, B, A U B y A Ç B




       Conjunto A                Conjunto B




      Conjunto A U B            Conjunto A Ç B
A continuación se muestra el conjunto A y su
complemento A .  c




        Conjunto A                    Conjunto



Ejemplo.- En los siguientes diagramas de Venn se ilustra
la manera como pueden usarse los diagramas de Venn
para ilustrar cada uno de los postulados y propiedades del
álgebra de conjuntos. En este caso se usan para ilustrar la
propiedad de distributividad de la unión sobre la
intersección
C
A




    A U (B   C)
AUB                                   AUC




               (A U B) (A U C)
Distributividad de la Unión sobre la Intersección
Para este sistema matemático la simbología
correspondiente es:
A: El conjunto de todas las proposiciones
Operaciones binarias: v Disyunción
ᴧConjunción
Relación de equivalencia: ↔
Elemento neutro: La contradicción (0) para la
disyunción
    La tautología (1) para la conjunción. Elemento
   inverso (a’): La negación de una proposición
La demostración de que la lógica simbólica es un
algebra booleana corresponde a la Verificación
de las siguientes propiedades:
Sean p, q y r proposiciones del conjunto A.
1. Cerradura:
p v q es una proposición del conjunto A
p ʌ q es una proposición del conjunto A
2. Conmutativa:
pvq↔qvp
pʌq↔qʌp
3. Asociativa:
(p v q) v r ↔ p v (q v r)
(p ʌ q) ʌ r ↔ p ʌ (q ʌ r).
4. Distributiva:
p v (q ʌ r) ↔ (p v q) ʌ (p v r)
p ʌ (q v r) ↔ (p ʌ q) v (p ʌ r).
5. Identidad: En el conjunto A existe una proposición
que siempre es verdadera, llamada
tautología y simbolizada por 1, y otra que siempre es
negativa, llamada contradicción y
simbolizada por 0, tales que:
p v 0 ↔ p y p ʌ 1 ↔ p.
La tautología y la contradicción corresponden a los
elementos neutros de la disyunción y
de la conjunción respectivamente
Complementación: Para cada proposición p, existe
en el conjunto A una
proposición ~p, llamada la negación de p, tal que:
p v (~ p) ↔ 1 y p ʌ (~ p) ↔ 0
http://lc.fie.umich.mx/~jrincon/elec3-cap4.pdf modulo de lógica
matemática de la UNAD.

Más contenido relacionado

La actualidad más candente

Antenas y Lineas de Transmision exposicion
Antenas y Lineas de Transmision exposicionAntenas y Lineas de Transmision exposicion
Antenas y Lineas de Transmision exposicion
memelovsky
 
Filtros activos
Filtros activosFiltros activos
Filtros activosgotens1984
 
Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)
251089luis
 
La curva característica del diodo
La curva característica del diodoLa curva característica del diodo
La curva característica del diodoantonio vasquez
 
Familia logica
Familia logicaFamilia logica
Familia logica
dariox991
 
Aplicaciones del Circuito TTL
Aplicaciones del Circuito TTLAplicaciones del Circuito TTL
Aplicaciones del Circuito TTL
Ivan Nietø
 
Circuitos digitales-problemas
Circuitos digitales-problemasCircuitos digitales-problemas
Circuitos digitales-problemas
instrumentacionuptaeb
 
CORRIENTE ALTERNA
CORRIENTE ALTERNACORRIENTE ALTERNA
CORRIENTE ALTERNA
Gustavo Salazar Loor
 
Unidad 1 fundamentos de circuitos logicos
Unidad 1 fundamentos de circuitos logicosUnidad 1 fundamentos de circuitos logicos
Unidad 1 fundamentos de circuitos logicos
Ivan Aaron Martinez Prime
 
Circuitos recortadores
Circuitos recortadoresCircuitos recortadores
Circuitos recortadores
Bernaldo Arnao
 
3.3. Configuración en Base Común
3.3. Configuración en Base Común3.3. Configuración en Base Común
3.3. Configuración en Base Común
Othoniel Hernandez Ovando
 
Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)
David Ruiz
 
Tringulo de potencias
Tringulo de potenciasTringulo de potencias
Tringulo de potenciasjuan camilo
 
Ejercicios de resistencia equivalente
Ejercicios de resistencia equivalenteEjercicios de resistencia equivalente
Ejercicios de resistencia equivalente
PEDROTC3
 
Variadores de frecuencia
Variadores de frecuenciaVariadores de frecuencia
Variadores de frecuenciaDaniel Garcia
 
Ficha 3 transistores 2
Ficha 3 transistores 2Ficha 3 transistores 2
Ficha 3 transistores 2
HMR2598
 
[Maths] 6.3.2 compuertas logicas
[Maths] 6.3.2 compuertas logicas[Maths] 6.3.2 compuertas logicas
[Maths] 6.3.2 compuertas logicas
miguelperezfontenla
 
Proyectos electrónica digital
Proyectos electrónica digitalProyectos electrónica digital
Proyectos electrónica digital
Oscar Ardila Chaparro
 

La actualidad más candente (20)

8 2 convertidor-analogico_-digital
8 2 convertidor-analogico_-digital8 2 convertidor-analogico_-digital
8 2 convertidor-analogico_-digital
 
Antenas y Lineas de Transmision exposicion
Antenas y Lineas de Transmision exposicionAntenas y Lineas de Transmision exposicion
Antenas y Lineas de Transmision exposicion
 
Filtros activos
Filtros activosFiltros activos
Filtros activos
 
Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)
 
La curva característica del diodo
La curva característica del diodoLa curva característica del diodo
La curva característica del diodo
 
Familia logica
Familia logicaFamilia logica
Familia logica
 
Aplicaciones del Circuito TTL
Aplicaciones del Circuito TTLAplicaciones del Circuito TTL
Aplicaciones del Circuito TTL
 
Circuitos digitales-problemas
Circuitos digitales-problemasCircuitos digitales-problemas
Circuitos digitales-problemas
 
CORRIENTE ALTERNA
CORRIENTE ALTERNACORRIENTE ALTERNA
CORRIENTE ALTERNA
 
Unidad 1 fundamentos de circuitos logicos
Unidad 1 fundamentos de circuitos logicosUnidad 1 fundamentos de circuitos logicos
Unidad 1 fundamentos de circuitos logicos
 
Circuitos recortadores
Circuitos recortadoresCircuitos recortadores
Circuitos recortadores
 
3.3. Configuración en Base Común
3.3. Configuración en Base Común3.3. Configuración en Base Común
3.3. Configuración en Base Común
 
Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)
 
Tringulo de potencias
Tringulo de potenciasTringulo de potencias
Tringulo de potencias
 
TTL-CMOS
TTL-CMOSTTL-CMOS
TTL-CMOS
 
Ejercicios de resistencia equivalente
Ejercicios de resistencia equivalenteEjercicios de resistencia equivalente
Ejercicios de resistencia equivalente
 
Variadores de frecuencia
Variadores de frecuenciaVariadores de frecuencia
Variadores de frecuencia
 
Ficha 3 transistores 2
Ficha 3 transistores 2Ficha 3 transistores 2
Ficha 3 transistores 2
 
[Maths] 6.3.2 compuertas logicas
[Maths] 6.3.2 compuertas logicas[Maths] 6.3.2 compuertas logicas
[Maths] 6.3.2 compuertas logicas
 
Proyectos electrónica digital
Proyectos electrónica digitalProyectos electrónica digital
Proyectos electrónica digital
 

Destacado

Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
Marcos Omar Cruz Ortrega
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boolepablo_ca123
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivas
José A. Alonso
 
Diagrama De Venn
Diagrama De VennDiagrama De Venn
Diagrama De Venncebaronva
 
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
Feliciano Garcia Rodriguez
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
hernancarrilloa
 
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
 

Destacado (9)

Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Teoria conjuntos
Teoria conjuntosTeoria conjuntos
Teoria conjuntos
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivas
 
Diagrama De Venn
Diagrama De VennDiagrama De Venn
Diagrama De Venn
 
Diagramas venn 3 conjuntos
Diagramas venn 3 conjuntosDiagramas venn 3 conjuntos
Diagramas venn 3 conjuntos
 
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
 
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
 

Similar a Algebra booleana

Algebrabooleana1
Algebrabooleana1Algebrabooleana1
Algebrabooleana1
Patricio Ruiz
 
Logica boleana
Logica boleanaLogica boleana
Logica boleana
sena
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanayazlet
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdf
JoelMarcosCopa1
 
Teoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra BooleanaTeoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra Booleana
brigith piña
 
Proposición Simple y Compuesta - conjuntos por Edison Iza
Proposición Simple y Compuesta - conjuntos por Edison IzaProposición Simple y Compuesta - conjuntos por Edison Iza
Proposición Simple y Compuesta - conjuntos por Edison Iza
EdisonIza7
 
Proposisiones por Edison Iza
Proposisiones por Edison IzaProposisiones por Edison Iza
Proposisiones por Edison Iza
EdisonIza7
 
Algebra de Boole y Circuitos Combinatorios
Algebra de Boole y Circuitos CombinatoriosAlgebra de Boole y Circuitos Combinatorios
Algebra de Boole y Circuitos Combinatorios
JohanaMoya20
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
Dorila Vargas Aguero
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdf
Example404
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicos
dukefirula
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatorios
Jesus Olivier Pereira
 
Circuitos rlc (1)
Circuitos rlc (1)Circuitos rlc (1)
Circuitos rlc (1)
JORGE BENITEZ
 
numeos reales y fuciones
numeos reales y fucionesnumeos reales y fuciones
numeos reales y fuciones
xavimin7
 
Teoría elemental de conjuntos
Teoría elemental de conjuntosTeoría elemental de conjuntos
Teoría elemental de conjuntos
Adriana Huerta
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
David Hernandez
 

Similar a Algebra booleana (20)

Algebrabooleana1
Algebrabooleana1Algebrabooleana1
Algebrabooleana1
 
Algebrabooleana1
Algebrabooleana1Algebrabooleana1
Algebrabooleana1
 
Logica boleana
Logica boleanaLogica boleana
Logica boleana
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdf
 
Teoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra BooleanaTeoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra Booleana
 
Proposición Simple y Compuesta - conjuntos por Edison Iza
Proposición Simple y Compuesta - conjuntos por Edison IzaProposición Simple y Compuesta - conjuntos por Edison Iza
Proposición Simple y Compuesta - conjuntos por Edison Iza
 
Proposisiones por Edison Iza
Proposisiones por Edison IzaProposisiones por Edison Iza
Proposisiones por Edison Iza
 
Algebra de Boole y Circuitos Combinatorios
Algebra de Boole y Circuitos CombinatoriosAlgebra de Boole y Circuitos Combinatorios
Algebra de Boole y Circuitos Combinatorios
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdf
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicos
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatorios
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Circuitos rlc (1)
Circuitos rlc (1)Circuitos rlc (1)
Circuitos rlc (1)
 
numeos reales y fuciones
numeos reales y fucionesnumeos reales y fuciones
numeos reales y fuciones
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Teoría elemental de conjuntos
Teoría elemental de conjuntosTeoría elemental de conjuntos
Teoría elemental de conjuntos
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 

Algebra booleana

  • 1. LOGICA MATEMATICA ALGEBRA BOOLEANA DE CONJUNTOS Y ALGEBRA BOOLEANA DE LA LOGICA PRESENTADO POR ALVARO JAVIER GONZALEZ DIAZ COD 1063955420 ARNAUL MELENDEZ COD PRESENTADO A UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA VALLEDUPAR CESAR 2012
  • 2. La herramienta fundamental para el análisis y diseño de circuitos digitales es el Álgebra Booleana. Esta álgebra es un conjunto de reglas matemáticas (similares en algunos aspectos al álgebra convencional), pero que tienen la virtud de corresponder al comportamiento de circuitos basados en dispositivos de conmutación (interruptores, relevadores, transistores, etc.). En este capítulo se presentan los postulados que definen el álgebra booleana, se presentan en forma de teoremas los resultados más importantes, se presentan también los tres ejemplos clásicos de álgebras boolenas (lógica proposicional, álgebra de conjuntos, álgebra de switches) y herramientas básicas como tablas de verdad y diagramas de Venn.
  • 3. En un principio algunos de los postulados anteriores pueden parecer extraños, especialmente aquellos que son diferentes al álgebra con número reales (como el 5a, el 6a y el 6b), y puede ser difícil encontrar situaciones de interés que cumplan al pie de la letra con cada uno de ellos, sin embargo, existen varios ejemplos, de los cuales se presentan los siguientes tres clásicos, en los cuales se verifica que se trata de álgebras de Boole, es decir, que se cumple postulado por postulado.
  • 4. 1.- Para este ejemplo el conjunto B es el conjunto de todos los conjuntos a tratar. La suma es la unión de conjuntos (U) y la multiplicación es la intersección (Ç) de conjuntos. 2.- Existencia de neutros. El neutro de la unión es el conjunto vacío F , mientras que el neutro de la intersección es el conjunto universo U, ya que para cualquier conjunto arbitrario A, A U F = A y A Ç U= A.
  • 5. 3.- Conmutatividad. La unión y la intersección son conmutativas, ya que para cualquier par de conjuntos A, B: A U B = B U A y A ÇB = B ÇA 4.- Asociatividad. La unión y la intersección de conjuntos son asociativas, ya que para cualesquiera tres conjuntos A, B, C: A U (B U C) = (A U B) U C y A Ç (B Ç C) = (A Ç B) Ç C 5.- Distributividad. La unión de conjuntos es distributiva sobre la intersección, y viceversa, la intersección es distributiva sobre la unión, ya que para cualesquiera tres conjuntos A, B, C: A U (B Ç C) = (A U B) Ç (A U C) y A Ç (B U C) = (A Ç B) U (A Ç C) 6.- Existencia de complementos. El conjunto complemento Ac cumple con las propiedades deseadas: A U Ac = U y A Ç Ac = F
  • 6. En la siguiente figura se muestran diagramas de Venn para los conjuntos A, B, A U B y A Ç B Conjunto A Conjunto B Conjunto A U B Conjunto A Ç B
  • 7. A continuación se muestra el conjunto A y su complemento A . c Conjunto A Conjunto Ejemplo.- En los siguientes diagramas de Venn se ilustra la manera como pueden usarse los diagramas de Venn para ilustrar cada uno de los postulados y propiedades del álgebra de conjuntos. En este caso se usan para ilustrar la propiedad de distributividad de la unión sobre la intersección
  • 8. C A A U (B C)
  • 9. AUB AUC (A U B) (A U C) Distributividad de la Unión sobre la Intersección
  • 10. Para este sistema matemático la simbología correspondiente es: A: El conjunto de todas las proposiciones Operaciones binarias: v Disyunción ᴧConjunción Relación de equivalencia: ↔ Elemento neutro: La contradicción (0) para la disyunción La tautología (1) para la conjunción. Elemento inverso (a’): La negación de una proposición
  • 11. La demostración de que la lógica simbólica es un algebra booleana corresponde a la Verificación de las siguientes propiedades: Sean p, q y r proposiciones del conjunto A. 1. Cerradura: p v q es una proposición del conjunto A p ʌ q es una proposición del conjunto A 2. Conmutativa: pvq↔qvp pʌq↔qʌp 3. Asociativa: (p v q) v r ↔ p v (q v r) (p ʌ q) ʌ r ↔ p ʌ (q ʌ r). 4. Distributiva: p v (q ʌ r) ↔ (p v q) ʌ (p v r) p ʌ (q v r) ↔ (p ʌ q) v (p ʌ r).
  • 12. 5. Identidad: En el conjunto A existe una proposición que siempre es verdadera, llamada tautología y simbolizada por 1, y otra que siempre es negativa, llamada contradicción y simbolizada por 0, tales que: p v 0 ↔ p y p ʌ 1 ↔ p. La tautología y la contradicción corresponden a los elementos neutros de la disyunción y de la conjunción respectivamente Complementación: Para cada proposición p, existe en el conjunto A una proposición ~p, llamada la negación de p, tal que: p v (~ p) ↔ 1 y p ʌ (~ p) ↔ 0