SlideShare une entreprise Scribd logo
1  sur  15
CIRCUITOS DIGITALES I

  ALGEBRA BOOLEANA




      ING. FERNANDO A. URBANO M.




                                   1
DIAGRAMA DE PINES PARA LA SERIE 74




                                     2
DISPLAYS DE 7 SEGMENTOS
Un problema común de un circuito digital es
convertir el lenguaje máquina a números
decimales (o en algunas ocasiones a
hexadecimal).




                                              3
DISPLAYS DE 7 SEGMENTOS (2)
Se habla de 7 segmentos ya que internamente
estan formado por esta cantidad de Diodos
Emisores de Luz (LED).




Ánodo Común (pin común a Vcc)
Cátodo Común (pin común a GND)


                                              4
DISPLAYS DE 7 SEGMENTOS (3)
Estos LED dentro del despliegue van marcados de la
letra ”a” a la “g”




                                                     5
DISPLAYS DE 7 SEGMENTOS (4)




                              6
DISPLAYS DE 7 SEGMENTOS (5)
Cada línea del despliegue debe tener una
resistencia, para controlar la corriente que pasa
por cada uno de los LEDs.



                                       V=RI -> R=V/I
                                       R= 5V/15 mA.
                                       R= 330 Ω.




                                                       7
ALGEBRA DE BOOLE
                         v
En 1854: George Boole demostró que la lógica es
matemática, no solo filosofía.
Es una estructura algebraica que rigoriza las
operaciones lógicas Y, O y NO, así como el conjunto
de operaciones, unión, intersección y complemento.
En la actualidad, se aplica de forma generalizada en
el ámbito del diseño electrónico. Claude Shannon
fue el primero en aplicarla en el diseño de circuitos
de conmutación eléctrica biestables.


                                                        8
ALGEBRA DE BOOLE (1)
Claude Shannon:            v
• Ingeniero Electricista y Matemático (1936)
• Investigador Asistente del MIT (1936)
• Laboratorios Bell (1937)
• En su tesis de maestría en el MIT, demostró cómo
  el álgebra booleana se podía utilizar en el análisis
  y la síntesis de la conmutación y de los circuitos
  digitales (1938).



                                                         9
IMPLEMENTACIÓN DE EXPRESIONES

Representar con compuertas digitales las
siguientes expresiones:

a)       AB + C

b)      A (C + D ) + BE
                 


                                           10
AXIOMAS DEL ALGEBRA BOOLEANA

   0⋅0 = 0
   1+1 = 1
   1 ⋅1 = 1
   0+0 = 0
   0 ⋅1 = 1 ⋅ 0 = 0
   1+ 0 = 0 +1 = 1
Si X = 0, entonces X = 1
Si X = 1, entonces X = 0

                                      11
TEOREMAS DE UNA SOLA VARIABLE

X ⋅0 = 0        X +1 = 1
X ⋅1 = X        X +0= X
X+X =X          X ⋅X = X
X ⋅X =0         X + X =1

           X=X

                                  12
PROPIEDADES DE DOS Y TRES VARIABLES
X ⋅Y = Y ⋅ X                 Conmutativa
X +Y = Y + X
X ⋅ (Y ⋅ Z ) = ( X ⋅ Y ) ⋅ Z   Asociativa
X + (Y + Z ) = ( X + Y ) + Z
X ⋅ (Y + Z ) = X ⋅ Y + X ⋅ Z Distributiva
X + (Y ⋅ Z ) = ( X + Y ) ⋅ ( X + Z )
X + X ⋅Y = X                   Absorción

                                            13
PROPIEDADES DE DOS Y TRES VARIABLES
  X ⋅( X + Y ) = X
  X ⋅Y + X ⋅Y = X        Combinación

        (       )
( X +Y )⋅ X +Y = X
 X ⋅Y = X + Y               Teorema de
                            DeMorgan
 X + Y = X ⋅Y
 X + X ⋅Y = X + Y
    (       )
 X ⋅ X + Y = X ⋅Y
                                         14
PROPIEDADES DE DOS Y TRES VARIABLES
                        Consenso

     X ⋅Y + Y ⋅ Z + X ⋅ Z = X ⋅Y + X ⋅ Z
 ( X + Y ) ⋅ (Y + Z ) ⋅ ( X + Z ) = ( X + Y ) ⋅ ( X + Z )
Demuestre la validez de la ecuación lógica:

   ( X1 + X 3 ) ⋅ ( X1 + X 3 ) = X1 ⋅ X 3 + X1 ⋅ X 3

                                                            15

Contenu connexe

Tendances

Criterio de estabilidad de Routh
Criterio de estabilidad de RouthCriterio de estabilidad de Routh
Criterio de estabilidad de Routh
Luis Jimenez Rivera
 
Electrónica de potencia
Electrónica de potenciaElectrónica de potencia
Electrónica de potencia
andres
 

Tendances (20)

2.3 interconexion-de-redes-de-dos-puertos
2.3 interconexion-de-redes-de-dos-puertos2.3 interconexion-de-redes-de-dos-puertos
2.3 interconexion-de-redes-de-dos-puertos
 
CPI1 - CLASE 2 - PARTE 2
CPI1 - CLASE 2 - PARTE 2CPI1 - CLASE 2 - PARTE 2
CPI1 - CLASE 2 - PARTE 2
 
I fase control ii ecuaciones en diferencias (3)
I fase control ii ecuaciones en diferencias (3)I fase control ii ecuaciones en diferencias (3)
I fase control ii ecuaciones en diferencias (3)
 
Modelado matemático de sistemas físicos.
Modelado matemático de sistemas físicos. Modelado matemático de sistemas físicos.
Modelado matemático de sistemas físicos.
 
DiseñO De Un Contador Con Flip Flops Tipo Jk
DiseñO De Un Contador Con Flip Flops Tipo JkDiseñO De Un Contador Con Flip Flops Tipo Jk
DiseñO De Un Contador Con Flip Flops Tipo Jk
 
Electromecanica-y-maquinas-electricas-nasar
Electromecanica-y-maquinas-electricas-nasarElectromecanica-y-maquinas-electricas-nasar
Electromecanica-y-maquinas-electricas-nasar
 
Tipos de controles AC y velocidad de motores Electrónica Presentación
Tipos de controles AC y velocidad de motores Electrónica Presentación  Tipos de controles AC y velocidad de motores Electrónica Presentación
Tipos de controles AC y velocidad de motores Electrónica Presentación
 
Criterio de estabilidad de Routh
Criterio de estabilidad de RouthCriterio de estabilidad de Routh
Criterio de estabilidad de Routh
 
Convertidor boost
Convertidor boostConvertidor boost
Convertidor boost
 
Sumador\Restador
Sumador\RestadorSumador\Restador
Sumador\Restador
 
Aplicacion laplace
Aplicacion laplaceAplicacion laplace
Aplicacion laplace
 
Latches y flip flops
Latches y flip flopsLatches y flip flops
Latches y flip flops
 
Análisis de la respuesta del sistema
Análisis de la respuesta del sistemaAnálisis de la respuesta del sistema
Análisis de la respuesta del sistema
 
Sistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempoSistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempo
 
Electrónica de potencia
Electrónica de potenciaElectrónica de potencia
Electrónica de potencia
 
Señales y sistemas
Señales y sistemasSeñales y sistemas
Señales y sistemas
 
Rotacion, traslacion por matrices homogeneas 2
Rotacion, traslacion por matrices homogeneas 2Rotacion, traslacion por matrices homogeneas 2
Rotacion, traslacion por matrices homogeneas 2
 
Motores sincronos
Motores sincronosMotores sincronos
Motores sincronos
 
SISTEMAS LTI
SISTEMAS LTISISTEMAS LTI
SISTEMAS LTI
 
Compensacion de adelanto de fase
Compensacion  de adelanto de faseCompensacion  de adelanto de fase
Compensacion de adelanto de fase
 

En vedette

En vedette (20)

Compuertas Lógicas
Compuertas LógicasCompuertas Lógicas
Compuertas Lógicas
 
Clase Sistemas Numéricos
Clase Sistemas NuméricosClase Sistemas Numéricos
Clase Sistemas Numéricos
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Diseño de Circuitos Secuenciales
Diseño de Circuitos SecuencialesDiseño de Circuitos Secuenciales
Diseño de Circuitos Secuenciales
 
Introducción al PIC16 f887
Introducción al PIC16 f887Introducción al PIC16 f887
Introducción al PIC16 f887
 
Conexiones del PIC16F887
Conexiones del PIC16F887Conexiones del PIC16F887
Conexiones del PIC16F887
 
Modulo Timer 0 del PIC16F887
Modulo Timer 0 del PIC16F887Modulo Timer 0 del PIC16F887
Modulo Timer 0 del PIC16F887
 
Latch y Flip-Flops
Latch y Flip-FlopsLatch y Flip-Flops
Latch y Flip-Flops
 
Introducción al VHDL
Introducción al VHDLIntroducción al VHDL
Introducción al VHDL
 
Clase Combinacionales MSI - Segunda Parte
Clase Combinacionales MSI - Segunda ParteClase Combinacionales MSI - Segunda Parte
Clase Combinacionales MSI - Segunda Parte
 
Clase historia
Clase historiaClase historia
Clase historia
 
Node.JS para Intel Galileo
Node.JS para Intel GalileoNode.JS para Intel Galileo
Node.JS para Intel Galileo
 
Introducción a los Circuitos Digitales
Introducción a los Circuitos DigitalesIntroducción a los Circuitos Digitales
Introducción a los Circuitos Digitales
 
Circuitos Combinacionales
Circuitos CombinacionalesCircuitos Combinacionales
Circuitos Combinacionales
 
Módulo Timer 1 del PIC16F887
Módulo Timer 1 del PIC16F887Módulo Timer 1 del PIC16F887
Módulo Timer 1 del PIC16F887
 
Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
Memorias
MemoriasMemorias
Memorias
 
Clase Combinacionales MSI - Primera Parte
Clase Combinacionales MSI - Primera ParteClase Combinacionales MSI - Primera Parte
Clase Combinacionales MSI - Primera Parte
 
Clase instrucciones PIC16F877A
Clase instrucciones PIC16F877AClase instrucciones PIC16F877A
Clase instrucciones PIC16F877A
 

Similaire à Algebra de Boole

Circuitoslogicos 131102125516-phpapp01 (1)
Circuitoslogicos 131102125516-phpapp01 (1)Circuitoslogicos 131102125516-phpapp01 (1)
Circuitoslogicos 131102125516-phpapp01 (1)
SONIAPINILLA
 
Maximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdf
Maximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdfMaximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdf
Maximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdf
IvanDiazToala
 

Similaire à Algebra de Boole (20)

Circuitoslogicos 131102125516-phpapp01 (1)
Circuitoslogicos 131102125516-phpapp01 (1)Circuitoslogicos 131102125516-phpapp01 (1)
Circuitoslogicos 131102125516-phpapp01 (1)
 
circuitos logicos
circuitos logicoscircuitos logicos
circuitos logicos
 
ALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOSALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOS
 
Problemario de Álgebra Lineal
Problemario de Álgebra LinealProblemario de Álgebra Lineal
Problemario de Álgebra Lineal
 
Materia1
Materia1Materia1
Materia1
 
áLgebra de boole
áLgebra de booleáLgebra de boole
áLgebra de boole
 
Maximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdf
Maximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdfMaximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdf
Maximenko_presentation_2016_Toeplitz_matrices_introduction_es.pdf
 
lohica y funsiones.pdf
lohica y funsiones.pdflohica y funsiones.pdf
lohica y funsiones.pdf
 
Conjuntos Difusos.ppt
Conjuntos Difusos.pptConjuntos Difusos.ppt
Conjuntos Difusos.ppt
 
Ecuaciones diferenciales
Ecuaciones diferencialesEcuaciones diferenciales
Ecuaciones diferenciales
 
Geometría Analítica
Geometría AnalíticaGeometría Analítica
Geometría Analítica
 
02 comps boole_09a - copia
02 comps boole_09a - copia02 comps boole_09a - copia
02 comps boole_09a - copia
 
02 comps boole_09a
02 comps boole_09a02 comps boole_09a
02 comps boole_09a
 
LOGICA BINARIA
LOGICA BINARIALOGICA BINARIA
LOGICA BINARIA
 
Clase 4
Clase 4Clase 4
Clase 4
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Fundamentos de los Números Complejos ccesa007
Fundamentos de los Números Complejos  ccesa007Fundamentos de los Números Complejos  ccesa007
Fundamentos de los Números Complejos ccesa007
 
Met iterativos
Met iterativosMet iterativos
Met iterativos
 
Taller Grafos - 2 corte - grupo 8DN -Matemáticas Discretas
Taller Grafos - 2 corte - grupo 8DN -Matemáticas DiscretasTaller Grafos - 2 corte - grupo 8DN -Matemáticas Discretas
Taller Grafos - 2 corte - grupo 8DN -Matemáticas Discretas
 
Examenpreparatorio
ExamenpreparatorioExamenpreparatorio
Examenpreparatorio
 

Plus de Fernando Aparicio Urbano Molano

Plus de Fernando Aparicio Urbano Molano (20)

Ciclos de Control en Shell
Ciclos de Control en ShellCiclos de Control en Shell
Ciclos de Control en Shell
 
Introducción al Shell Linux
Introducción al Shell LinuxIntroducción al Shell Linux
Introducción al Shell Linux
 
Introducción al Linux Embebido
Introducción al Linux EmbebidoIntroducción al Linux Embebido
Introducción al Linux Embebido
 
Lenguaje C para Microcontroladores PIC - Declaraciones de Decisión
Lenguaje C para Microcontroladores PIC - Declaraciones de DecisiónLenguaje C para Microcontroladores PIC - Declaraciones de Decisión
Lenguaje C para Microcontroladores PIC - Declaraciones de Decisión
 
Introducción al Lenguaje C para microcontroladores PIC
Introducción al Lenguaje C para microcontroladores PICIntroducción al Lenguaje C para microcontroladores PIC
Introducción al Lenguaje C para microcontroladores PIC
 
Linux Yocto y GPIO
Linux Yocto y GPIOLinux Yocto y GPIO
Linux Yocto y GPIO
 
Arquitectura Computacional - Intel Galileo
Arquitectura Computacional - Intel GalileoArquitectura Computacional - Intel Galileo
Arquitectura Computacional - Intel Galileo
 
Módulo EUSART del PIC16F887
Módulo EUSART del PIC16F887Módulo EUSART del PIC16F887
Módulo EUSART del PIC16F887
 
Módulo ADC del PIC16F887
Módulo ADC del PIC16F887Módulo ADC del PIC16F887
Módulo ADC del PIC16F887
 
Arquitectura Microcontrolador PIC16F887
Arquitectura Microcontrolador PIC16F887Arquitectura Microcontrolador PIC16F887
Arquitectura Microcontrolador PIC16F887
 
Máquinas de Estado Finito en VHDL
Máquinas de Estado Finito en VHDLMáquinas de Estado Finito en VHDL
Máquinas de Estado Finito en VHDL
 
Estados Indiferentes - Diagramas de Karnaugh
Estados Indiferentes - Diagramas de KarnaughEstados Indiferentes - Diagramas de Karnaugh
Estados Indiferentes - Diagramas de Karnaugh
 
Multivibradores, Temporizadores y aplicaciones de los Flip-Flops
Multivibradores, Temporizadores y aplicaciones de los Flip-FlopsMultivibradores, Temporizadores y aplicaciones de los Flip-Flops
Multivibradores, Temporizadores y aplicaciones de los Flip-Flops
 
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
 
Máquinas de Estado
Máquinas de EstadoMáquinas de Estado
Máquinas de Estado
 
Clase Latch y FFs
Clase Latch y FFsClase Latch y FFs
Clase Latch y FFs
 
Clase USART
Clase USARTClase USART
Clase USART
 
Clase Timer 1
Clase Timer 1Clase Timer 1
Clase Timer 1
 
Conversor ADC
Conversor ADCConversor ADC
Conversor ADC
 
Timer 0 - Pic16F877A
Timer 0 - Pic16F877ATimer 0 - Pic16F877A
Timer 0 - Pic16F877A
 

Dernier

6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria
Wilian24
 
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACIONRESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
amelia poma
 

Dernier (20)

Lecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigosLecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigos
 
6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdf
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
 
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPCTRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
 
Factores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdfFactores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdf
 
AEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxAEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptx
 
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docxPLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
 
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
 
Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdf
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
PP_Comunicacion en Salud: Objetivación de signos y síntomas
PP_Comunicacion en Salud: Objetivación de signos y síntomasPP_Comunicacion en Salud: Objetivación de signos y síntomas
PP_Comunicacion en Salud: Objetivación de signos y síntomas
 
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACIONRESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
 
Power Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptxPower Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptx
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
 
Usos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicasUsos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicas
 
Los dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la VerdadLos dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la Verdad
 
Código Civil de la República Bolivariana de Venezuela
Código Civil de la República Bolivariana de VenezuelaCódigo Civil de la República Bolivariana de Venezuela
Código Civil de la República Bolivariana de Venezuela
 

Algebra de Boole

  • 1. CIRCUITOS DIGITALES I ALGEBRA BOOLEANA ING. FERNANDO A. URBANO M. 1
  • 2. DIAGRAMA DE PINES PARA LA SERIE 74 2
  • 3. DISPLAYS DE 7 SEGMENTOS Un problema común de un circuito digital es convertir el lenguaje máquina a números decimales (o en algunas ocasiones a hexadecimal). 3
  • 4. DISPLAYS DE 7 SEGMENTOS (2) Se habla de 7 segmentos ya que internamente estan formado por esta cantidad de Diodos Emisores de Luz (LED). Ánodo Común (pin común a Vcc) Cátodo Común (pin común a GND) 4
  • 5. DISPLAYS DE 7 SEGMENTOS (3) Estos LED dentro del despliegue van marcados de la letra ”a” a la “g” 5
  • 6. DISPLAYS DE 7 SEGMENTOS (4) 6
  • 7. DISPLAYS DE 7 SEGMENTOS (5) Cada línea del despliegue debe tener una resistencia, para controlar la corriente que pasa por cada uno de los LEDs. V=RI -> R=V/I R= 5V/15 mA. R= 330 Ω. 7
  • 8. ALGEBRA DE BOOLE v En 1854: George Boole demostró que la lógica es matemática, no solo filosofía. Es una estructura algebraica que rigoriza las operaciones lógicas Y, O y NO, así como el conjunto de operaciones, unión, intersección y complemento. En la actualidad, se aplica de forma generalizada en el ámbito del diseño electrónico. Claude Shannon fue el primero en aplicarla en el diseño de circuitos de conmutación eléctrica biestables. 8
  • 9. ALGEBRA DE BOOLE (1) Claude Shannon: v • Ingeniero Electricista y Matemático (1936) • Investigador Asistente del MIT (1936) • Laboratorios Bell (1937) • En su tesis de maestría en el MIT, demostró cómo el álgebra booleana se podía utilizar en el análisis y la síntesis de la conmutación y de los circuitos digitales (1938). 9
  • 10. IMPLEMENTACIÓN DE EXPRESIONES Representar con compuertas digitales las siguientes expresiones: a) AB + C b) A (C + D ) + BE   10
  • 11. AXIOMAS DEL ALGEBRA BOOLEANA 0⋅0 = 0 1+1 = 1 1 ⋅1 = 1 0+0 = 0 0 ⋅1 = 1 ⋅ 0 = 0 1+ 0 = 0 +1 = 1 Si X = 0, entonces X = 1 Si X = 1, entonces X = 0 11
  • 12. TEOREMAS DE UNA SOLA VARIABLE X ⋅0 = 0 X +1 = 1 X ⋅1 = X X +0= X X+X =X X ⋅X = X X ⋅X =0 X + X =1 X=X 12
  • 13. PROPIEDADES DE DOS Y TRES VARIABLES X ⋅Y = Y ⋅ X Conmutativa X +Y = Y + X X ⋅ (Y ⋅ Z ) = ( X ⋅ Y ) ⋅ Z Asociativa X + (Y + Z ) = ( X + Y ) + Z X ⋅ (Y + Z ) = X ⋅ Y + X ⋅ Z Distributiva X + (Y ⋅ Z ) = ( X + Y ) ⋅ ( X + Z ) X + X ⋅Y = X Absorción 13
  • 14. PROPIEDADES DE DOS Y TRES VARIABLES X ⋅( X + Y ) = X X ⋅Y + X ⋅Y = X Combinación ( ) ( X +Y )⋅ X +Y = X X ⋅Y = X + Y Teorema de DeMorgan X + Y = X ⋅Y X + X ⋅Y = X + Y ( ) X ⋅ X + Y = X ⋅Y 14
  • 15. PROPIEDADES DE DOS Y TRES VARIABLES Consenso X ⋅Y + Y ⋅ Z + X ⋅ Z = X ⋅Y + X ⋅ Z ( X + Y ) ⋅ (Y + Z ) ⋅ ( X + Z ) = ( X + Y ) ⋅ ( X + Z ) Demuestre la validez de la ecuación lógica: ( X1 + X 3 ) ⋅ ( X1 + X 3 ) = X1 ⋅ X 3 + X1 ⋅ X 3 15