SlideShare una empresa de Scribd logo
1 de 13
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

REGISTRO DE BANDERAS
REGISTRO DE BANDERASREGISTRO DE BANDERAS
REGISTRO DE BANDERASFabian Rojas
 
Circuito detector de numeros primos de 4 bits
Circuito detector de numeros primos de 4 bitsCircuito detector de numeros primos de 4 bits
Circuito detector de numeros primos de 4 bitsErick Bello
 
1 analisis de puertas logicas
1 analisis de puertas logicas1 analisis de puertas logicas
1 analisis de puertas logicasfermin valdes
 
Prototipo de Ascensor de 5 pisos
Prototipo de Ascensor de 5 pisosPrototipo de Ascensor de 5 pisos
Prototipo de Ascensor de 5 pisosRodrigo X
 
UNIDAD ARITMETICA LOGICA - INFORMATICA
UNIDAD ARITMETICA LOGICA - INFORMATICAUNIDAD ARITMETICA LOGICA - INFORMATICA
UNIDAD ARITMETICA LOGICA - INFORMATICAanthonyjosebarrazaba
 
Tutorial Proteus V2a ..:: 3D5F (c) ::..
Tutorial Proteus V2a   ..:: 3D5F (c) ::..Tutorial Proteus V2a   ..:: 3D5F (c) ::..
Tutorial Proteus V2a ..:: 3D5F (c) ::..Ramón Hernández Gtz
 
Diagramas De Despligue Uml
Diagramas De Despligue UmlDiagramas De Despligue Uml
Diagramas De Despligue Umlarcangelsombra
 
Unidad Aritmética Lógica
Unidad Aritmética LógicaUnidad Aritmética Lógica
Unidad Aritmética LógicaGrmandma
 
Divisor de tensión y divisor de corriente
Divisor de tensión y divisor de corrienteDivisor de tensión y divisor de corriente
Divisor de tensión y divisor de corrienteIsrael Magaña
 
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
 
Teoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesTeoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesErivan Martinez Ovando
 
Teoremas de redes
Teoremas de redesTeoremas de redes
Teoremas de redesDEILYDEURI
 

La actualidad más candente (20)

Arreglos - Assembler
Arreglos - AssemblerArreglos - Assembler
Arreglos - Assembler
 
REGISTRO DE BANDERAS
REGISTRO DE BANDERASREGISTRO DE BANDERAS
REGISTRO DE BANDERAS
 
Circuito detector de numeros primos de 4 bits
Circuito detector de numeros primos de 4 bitsCircuito detector de numeros primos de 4 bits
Circuito detector de numeros primos de 4 bits
 
1 analisis de puertas logicas
1 analisis de puertas logicas1 analisis de puertas logicas
1 analisis de puertas logicas
 
Prototipo de Ascensor de 5 pisos
Prototipo de Ascensor de 5 pisosPrototipo de Ascensor de 5 pisos
Prototipo de Ascensor de 5 pisos
 
UNIDAD ARITMETICA LOGICA - INFORMATICA
UNIDAD ARITMETICA LOGICA - INFORMATICAUNIDAD ARITMETICA LOGICA - INFORMATICA
UNIDAD ARITMETICA LOGICA - INFORMATICA
 
2.5. Rectificador de Media Onda
2.5. Rectificador de Media Onda2.5. Rectificador de Media Onda
2.5. Rectificador de Media Onda
 
Análisis de nodos
Análisis de nodosAnálisis de nodos
Análisis de nodos
 
Tutorial Proteus V2a ..:: 3D5F (c) ::..
Tutorial Proteus V2a   ..:: 3D5F (c) ::..Tutorial Proteus V2a   ..:: 3D5F (c) ::..
Tutorial Proteus V2a ..:: 3D5F (c) ::..
 
Programación de microcontroladores
Programación de microcontroladoresProgramación de microcontroladores
Programación de microcontroladores
 
Diagramas De Despligue Uml
Diagramas De Despligue UmlDiagramas De Despligue Uml
Diagramas De Despligue Uml
 
Flip-Flops y aplicaciones de los Latch
Flip-Flops y aplicaciones de los LatchFlip-Flops y aplicaciones de los Latch
Flip-Flops y aplicaciones de los Latch
 
Unidad Aritmética Lógica
Unidad Aritmética LógicaUnidad Aritmética Lógica
Unidad Aritmética Lógica
 
Senoides y fasores presentacion ppt
Senoides  y fasores presentacion pptSenoides  y fasores presentacion ppt
Senoides y fasores presentacion ppt
 
como hacer un Transformador
como  hacer un Transformadorcomo  hacer un Transformador
como hacer un Transformador
 
Divisor de tensión y divisor de corriente
Divisor de tensión y divisor de corrienteDivisor de tensión y divisor de corriente
Divisor de tensión y divisor de corriente
 
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
 
Circuitos rectificadores
Circuitos rectificadoresCircuitos rectificadores
Circuitos rectificadores
 
Teoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesTeoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes Formales
 
Teoremas de redes
Teoremas de redesTeoremas de redes
Teoremas de redes
 

Destacado

Destacado (8)

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
 

Similar a Algebra booleana

Logica boleana
Logica boleanaLogica boleana
Logica boleanasena
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanayazlet
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfJoelMarcosCopa1
 
Teoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra BooleanaTeoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra Booleanabrigith 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 IzaEdisonIza7
 
Proposisiones por Edison Iza
Proposisiones por Edison IzaProposisiones por Edison Iza
Proposisiones por Edison IzaEdisonIza7
 
Algebra de Boole y Circuitos Combinatorios
Algebra de Boole y Circuitos CombinatoriosAlgebra de Boole y Circuitos Combinatorios
Algebra de Boole y Circuitos CombinatoriosJohanaMoya20
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfExample404
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicosdukefirula
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosJesus Olivier Pereira
 
numeos reales y fuciones
numeos reales y fucionesnumeos reales y fuciones
numeos reales y fucionesxavimin7
 
Teoría elemental de conjuntos
Teoría elemental de conjuntosTeoría elemental de conjuntos
Teoría elemental de conjuntosAdriana Huerta
 

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
 
Propiedades del algebra de boole
Propiedades del algebra de boolePropiedades del algebra de boole
Propiedades del algebra de boole
 
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

  • 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