SlideShare uma empresa Scribd logo
1 de 18
Instituto Universitario Politécnico
“Santiago Mariño”
Extensión Porlamar
Sección: Saia – Estructura Discreta y Grafos
Ingeniería en Sistemas
Circuitos
Combinatorios Y
Algebra Booleana
Realizado Por: Juan Velásquez C.I: 23.770.791
Porlamar 13 de Agosto de 2016
Circuitos Combinatorios
Un circuito combinatorio es un arreglo de compuertas lógicas con un
conjunto de entradas y salidas.
Está representado por una función booleana y sigue las reglas del algebra de
Boole. Los circuitos combinatorios se pueden definir como la realización
física de una función booleana. La aplicación básica del algebra de Boole
son los circuitos combinatorios.
Se utilizan para resolver problemas en los cuales se requiere de una
combinación especifica de algunas entradas para obtener otras salidas
determinadas.
Pueden describirse mediante una tabla de verdad que muestre la relación
binaria entre las n variables de entradas y las m variables de salidas. Puede
especificarse también con m funciones booleanas, una por cada variable de
salida.
Propiedades de los Circuitos
Combinatorios
Ejemplo de Circuito
Combinatorio
Para obtener un circuito combinacional óptimo, se sigue el proceso general siguiente:
1.- Dado el enunciado del problema, establecemos su "tabla de verdad".
2.- A partir de esta tabla, obtenemos la función canónica en minterms o en
maxterms.
3.- A continuación simplificamos dicha función, bien en forma algebráica (aplicando
teoremas y postulados del Algrebra de Boole) o bien mediante la aplicación de
métodos tabulares sencillos (métodos de Karnauh o de McCluskey).
4.- Finalmente, realizamos la función simplificada mediante las oportunas puertas
lógicas.
Método de Karnaugh
Es un método tabular gráfico que se basa en los llamados "mapas de Karnaugh",
consistentes en una tabla de cuadros, cada uno de los cuales representa un término
canónico. Estos cuadros están distribuidos de tal modo que cualquiera dos de ellos
contiguos físicamente, corresponden a términos canónicos adyacentes.
Ejemplo:
f4 (d,c,b,a) = 34 (1,3,7,8,11,13,15)
Simplificando por minterm, es...
f4 (d,c,b,a) = dcba + dca + dca + ba = dcba + a(dÅc+b)
Pasando a maxterms...
f4 (d,c,b,a) = J4 (1,3,5,6,9,10,11,13,15)
Simplificando por maxterm es...
f4 (d,c,b,a) = (d+a)(c+a)(d+c+b)(b+a)(d+c+b+a) = (dcb+a)(d+c+b)(d+c+b+a)
Algebra Booleana
Álgebra de Boole (también llamada álgebra booleana), Es una estructura
algebraica que esquematiza las operaciones lógicas:
 Y, O, NO y SI (AND, OR, NOT, IF).
Así como el conjunto de operaciones:
 Unión
 Intersección
 Complemento
Propiedades de Algebra
Booleana
Un sistema de elementos B y dos operaciones binarias cerradas (·) y (+) se denomina
ALGEBRA de BOOLE siempre y cuando se cumplan las siguientes propiedades:
1.- Propiedad conmutativa:
A + B = B + A
A · B = B · A
2. Propiedad distributiva:
A·(B+C) = A·B + A·C
A + B·C = (A+B)·(A+C)
3. Elementos neutros diferentes
A + 0 = A
A · 1 = A
4. Siempre existe el complemento de A, denominado A’
A + A’ = 1
A · A’ = 0
Ejemplo de Ejercicio Funciones
Booleanas
1.-Demostrar que cada aserción o identidad algebraica deducible de los
postulados del álgebra de Boole sigue siendo válida si las operaciones " + " y " .
" y los elementos identidad (1 y 0) se intercambian entre si.
Tomando los postulados (a) de Huntigton e intercambiando en ellos los
operadores y elementos identidad resulta:
Respuesta :
Tomando los postulados (a) de Huntigton e intercambiando en ellos los operadores
y elementos identidad resulta:
1 a) a + b = b + a ⇔ a . b = b . a
(
1
b
2 a) a + 0 = a ⇔ a . 1 = a
(
2
b
3 a) a + (b . c) = (a + b) . (a + c) ⇔ a . (b + c) = (a .b) + (a . c)
(
b
4 a) a + a’ = 1 ⇔ a . a’ = 0
(
4
b
Es decir, que a partir de los postulados (a) se obtienen los postulados (b).
Esto demuestra lo que nos habíamos propuesto.
2.- Demostrar que para todos los elementos a, b, c de un álgebra de Boole
se verifican los siguientes teoremas:
Idempotencia: a + a = a ; a . a = a
Elemento unidad: a + 1 = 1 ; a . 0 = 0
Absorción : a + (a . b) = a ; a . (a + b) = a
Asociatividad: a + (b + c) = (a + b) + c ; a . (b . c) = (a . b) . c
Complemento único: El elemento a' asociado al a es único
Involución: (a')' = a
En cualquier álgebra
booleana:
0' = 1 ; 1' = 0
Leyes de Morgan (a + b)' = a' . b' ; (a . b)' = a' + b'
Relación de orden: si a ≤ b ⇒ a' + b = 1 ; si a ≤ b ⇒ a' . b = 0
Sobre conjuntos: Cada álgebra booleana que pueda formarse es isomorfa al álgebra de conjuntos.
Respuesta:
En los casos que precede solo demostraremos una parte de cada teorema,
deduciendo la otra del principio de dualidad.
Idempotencia
Por los axiomas 4b y 2a tenemos :
a + 0 = a + (a . a' ) = a
y aplicando el axioma 3 a :
a + (a . a' ) = (a + a) . (a + a') = a
Finalmente, por los axiomas 4 a y 2 b :
(a + a) . (a + a') = (a + a) . 1 = a + a = a
Demostrado
Elemento unidad
Partiendo del axioma 2 b y aplicando también los axiomas 3 a, 2 b y 4 a, tenemos :
1 + a = 1 . (1 + a) = (a + a') . (1 + a) = a + a' . 1 = a + a' = 1
Demostrado.
Absorción
Aplicando los axiomas 2b y 3b, el teorema anterior y el axioma 3b de nuevo
a + a.b = a.l + a.b = a(l + b) = a.l = a
Demostrado
Asociatividad
Para este teorema demostraremos antes que se cumple:
a[(a + b) + c] = [(a + b) + c]a = a
Esto es : (por el postulado 3b) :
a[(a+b) + c] = a(a+b) + a.c = a + a.c = a = [(a+b) + c]a
donde hemos aplicado reiteradamente el teorema de absorción y finalmente el
axioma de conmutatividad.
Con el anterior resultado supongamos que se tiene:
x = [(a+b) + c] . [a + (b + c)]
aplicando los axiomas de distributividad nos queda :
[(a+b)+c]a+[(a+b)+c].(b+c)=a+[(a+b)+c].(b.c)
donde hemos aplicado el resultado anterior. Aplicando de nuevo la distributividad,
e1resultado anterior y el teorema de absorción :
a+[(a+b)+c].b+[(a+b)+c].c=•=a+b+[(a+b)+c].c=a+(b+c)
Por otro lado, aplicando los axiomas de distributividad, el resultado anterior y el
teorema de absorción, tenemos también :
x=[(a+b)+c].[a+(b+c)]==(a+b)[a+(b+c)]+c[a+(b+c)]==(a+b)[a+(b+c)]+c==a[a+(b+c
)]+b[a+(b+c)]+c=(a+b)+c
Por todo ello, teniendo en cuenta la propiedad transitiva de la igualdad:
a + (b + c) = (a + b) + c
Demostrado.
Elemento único
Para demostrar que el complemento definido por el postulado 4 es único, supongamos
que existen dos elementos a'1 y a'2 que lo satisfacen. Esto es :
a + a'1 = 1 ;a + a'2 = 1 ; a.a'1 = 0 ; a.a'2 = 0
por los postulados 2b y 3b tendremos :
a′2=1.a′2=(a+a′1).a′2=a.a′2+a′1.a′2=0+a′1.a′2=•=a.a′1+a′1.a′2=(a+a′2).a′1=1.a′1+a′1
Demostrado.
Involución
Para demostrar el teorema de involución tenemos :
(a')' . a' = 0 ; (a')' + a' = 1
a . a' = 0 ; a + a' = 1
en consecuencia, tanto (a')' como a son complementos de a' por lo que, teniendo en
cuenta el teorema anterior, se deberá cumplir :
(a')' = a
Demostrado.
Propiedad de los elementos identidad de un álgebra de Boole
Teniendo en cuenta los axiomas 2 y 4 :
1' = 1' . 1 = 0 ; 0' = 0'+ 0 = 1
Demostrado.
Leyes de Morgan
Para demostrar las leyes de Morgan tenemos en cuenta que el complementario de
cualquier elemento de un álgebra de Boole es único. Tenemos :
(a+b)⋅(aˉ⋅bˉ)=a⋅(aˉ⋅bˉ)+b⋅(aˉ⋅bˉ)=•=(a⋅aˉ)⋅bˉ+(b⋅bˉ)⋅a=0+0=0
donde hemos aplicado el axioma de distributividad y el de conmutatividad y los
teoremas de asociatividad y elemento unidad.
(a+b)+(aˉ⋅bˉ)=(a+b+aˉ)⋅(a+b+bˉ)= =[(a+aˉ)+b]⋅[a+(b+bˉ)]=(1+b)⋅(a+1)=1
donde hemos aplicado los axiomas de distributividad conmutatividad y
complementación y el teorema del elemento unidad.
Puesto que (aˉ⋅bˉ) cumple los axiomas requeridos para ser el complementario de
(a+b) y éste debe ser único, hemos llegado donde queríamos.
Demostrado.
Relación de orden
Veamos ahora si la ecuación a' + b = 1 define una relación de orden :
Reflexiva : ∀a∈B⇒a′+a=1⇒aRa
Antisimétrica : Si a′+a=1∧a′+b=1⇒a=b por el complemento único.
Transitiva : Si aRb⇒a′+b=1ya′ es el complementario de b y si bRc⇒b′+c=1 y c es
el complementario de b'
De lo anterior se deduce:
c = b ⇒ a' + c = 1 ⇒ a R c
La implicación recíproca (a ≤ b ⇒ a' + b = 1 ) es trivial.
Demostrado
Sobre conjuntos
Para demostrar el último apartado consideramos las relaciones:
∩↔′⋅′;∪↔′+′;∅↔0;E↔1;C(S)↔S′
con esta transformación se comprueba fácilmente que el álgebra de conjuntos cumple
los postulados de Huntington y, en consecuencia, es un álgebra de Boole.
Demostrado.

Mais conteúdo relacionado

Mais procurados

Ejercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo VectorialEjercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo VectorialJuan Jose Durango
 
Antiderivada Ing
Antiderivada IngAntiderivada Ing
Antiderivada IngMarcos Boe
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicastanato153
 
Analisis libro gerardo____5toao
Analisis libro gerardo____5toaoAnalisis libro gerardo____5toao
Analisis libro gerardo____5toaoOmar Hernandez
 
Solución Álgebra Lineal ESPOL 2016 2T
Solución Álgebra Lineal ESPOL 2016 2TSolución Álgebra Lineal ESPOL 2016 2T
Solución Álgebra Lineal ESPOL 2016 2TAngel Guale
 
Álgebra Lineal - ESPOL - Angel Guale
Álgebra Lineal - ESPOL - Angel GualeÁlgebra Lineal - ESPOL - Angel Guale
Álgebra Lineal - ESPOL - Angel GualeAngel Guale
 
Temas Examen Álgebra Lineal 2017 II
Temas Examen Álgebra Lineal 2017 IITemas Examen Álgebra Lineal 2017 II
Temas Examen Álgebra Lineal 2017 IIAngel Guale
 
Cap 4 relaciones y funciones
Cap 4 relaciones y funcionesCap 4 relaciones y funciones
Cap 4 relaciones y funcionesnivelacion008
 
Solución Álgebra Lineal ESPOL 2016 1T
Solución Álgebra Lineal ESPOL 2016 1TSolución Álgebra Lineal ESPOL 2016 1T
Solución Álgebra Lineal ESPOL 2016 1TAngel Guale
 
Cap 3 logica y conjuntos
Cap 3 logica y conjuntosCap 3 logica y conjuntos
Cap 3 logica y conjuntosnivelacion008
 
Solución Álgebra Lineal ESPOL 2017 1T
Solución Álgebra Lineal ESPOL 2017 1TSolución Álgebra Lineal ESPOL 2017 1T
Solución Álgebra Lineal ESPOL 2017 1TAngel Guale
 
Teorema fundamental del cálculo
Teorema fundamental del cálculoTeorema fundamental del cálculo
Teorema fundamental del cálculoNancy Chillan
 
Aplicacion de las derivadas
Aplicacion de las derivadasAplicacion de las derivadas
Aplicacion de las derivadasEmma Resendiz
 

Mais procurados (19)

Ejercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo VectorialEjercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo Vectorial
 
Alg boole
Alg booleAlg boole
Alg boole
 
Antiderivada Ing
Antiderivada IngAntiderivada Ing
Antiderivada Ing
 
Integral indefinida
Integral indefinidaIntegral indefinida
Integral indefinida
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
TALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOSTALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOS
 
Analisis libro gerardo____5toao
Analisis libro gerardo____5toaoAnalisis libro gerardo____5toao
Analisis libro gerardo____5toao
 
Solución Álgebra Lineal ESPOL 2016 2T
Solución Álgebra Lineal ESPOL 2016 2TSolución Álgebra Lineal ESPOL 2016 2T
Solución Álgebra Lineal ESPOL 2016 2T
 
Álgebra Lineal - ESPOL - Angel Guale
Álgebra Lineal - ESPOL - Angel GualeÁlgebra Lineal - ESPOL - Angel Guale
Álgebra Lineal - ESPOL - Angel Guale
 
Unidad i luis r
Unidad i luis rUnidad i luis r
Unidad i luis r
 
Temas Examen Álgebra Lineal 2017 II
Temas Examen Álgebra Lineal 2017 IITemas Examen Álgebra Lineal 2017 II
Temas Examen Álgebra Lineal 2017 II
 
Cap 4 relaciones y funciones
Cap 4 relaciones y funcionesCap 4 relaciones y funciones
Cap 4 relaciones y funciones
 
Solución Álgebra Lineal ESPOL 2016 1T
Solución Álgebra Lineal ESPOL 2016 1TSolución Álgebra Lineal ESPOL 2016 1T
Solución Álgebra Lineal ESPOL 2016 1T
 
Estructuras
EstructurasEstructuras
Estructuras
 
Integrales impropias
Integrales impropiasIntegrales impropias
Integrales impropias
 
Cap 3 logica y conjuntos
Cap 3 logica y conjuntosCap 3 logica y conjuntos
Cap 3 logica y conjuntos
 
Solución Álgebra Lineal ESPOL 2017 1T
Solución Álgebra Lineal ESPOL 2017 1TSolución Álgebra Lineal ESPOL 2017 1T
Solución Álgebra Lineal ESPOL 2017 1T
 
Teorema fundamental del cálculo
Teorema fundamental del cálculoTeorema fundamental del cálculo
Teorema fundamental del cálculo
 
Aplicacion de las derivadas
Aplicacion de las derivadasAplicacion de las derivadas
Aplicacion de las derivadas
 

Semelhante a Presentacion de grafos juan velasquez 23770791

Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...SANTIAGO PABLO ALBERTO
 
Numeros Reales
Numeros RealesNumeros Reales
Numeros RealesFran Crema
 
Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263
Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263
Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263GENESISCAROLINADIAZP
 
NÚMEROS REALES I
NÚMEROS REALES INÚMEROS REALES I
NÚMEROS REALES ICESAR V
 
Algebra boole
Algebra booleAlgebra boole
Algebra booledivadlfc
 
1.1.operaciones basicas vectores
1.1.operaciones basicas vectores1.1.operaciones basicas vectores
1.1.operaciones basicas vectoresmercedes gavilanes
 
Unmsm teoria algebra
Unmsm teoria algebraUnmsm teoria algebra
Unmsm teoria algebraFreddy Moya
 
92538508 algebra-material-de-peruacadeico-nxpowerlite
92538508 algebra-material-de-peruacadeico-nxpowerlite92538508 algebra-material-de-peruacadeico-nxpowerlite
92538508 algebra-material-de-peruacadeico-nxpowerlitewilma bertha condori canaviri
 
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
 

Semelhante a Presentacion de grafos juan velasquez 23770791 (20)

Num reales _2010
Num reales _2010Num reales _2010
Num reales _2010
 
tema 01 sistemas digitales
tema 01 sistemas digitalestema 01 sistemas digitales
tema 01 sistemas digitales
 
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
 
Num reales 2010
Num reales  2010Num reales  2010
Num reales 2010
 
Numeros Reales
Numeros RealesNumeros Reales
Numeros Reales
 
Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263
Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263
Genesis diaz c.i 26502983 y rosybel alvarado c.i 29896263
 
NÚMEROS REALES I
NÚMEROS REALES INÚMEROS REALES I
NÚMEROS REALES I
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Algebra boole
Algebra boole Algebra boole
Algebra boole
 
Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 
1.1.operaciones basicas vectores
1.1.operaciones basicas vectores1.1.operaciones basicas vectores
1.1.operaciones basicas vectores
 
Algebra integral
Algebra integralAlgebra integral
Algebra integral
 
Unmsm teoria algebra
Unmsm teoria algebraUnmsm teoria algebra
Unmsm teoria algebra
 
92538508 algebra-material-de-peruacadeico-nxpowerlite
92538508 algebra-material-de-peruacadeico-nxpowerlite92538508 algebra-material-de-peruacadeico-nxpowerlite
92538508 algebra-material-de-peruacadeico-nxpowerlite
 
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
 
Algebradeboole
AlgebradebooleAlgebradeboole
Algebradeboole
 
Algebradeboole
AlgebradebooleAlgebradeboole
Algebradeboole
 
AUGE TEORIA ALGEBRA PDF.pdf
AUGE TEORIA ALGEBRA PDF.pdfAUGE TEORIA ALGEBRA PDF.pdf
AUGE TEORIA ALGEBRA PDF.pdf
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 

Último

SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024gharce
 
PRIMER GRADO SOY LECTOR PART1- MD EDUCATIVO.pdf
PRIMER GRADO SOY LECTOR PART1- MD  EDUCATIVO.pdfPRIMER GRADO SOY LECTOR PART1- MD  EDUCATIVO.pdf
PRIMER GRADO SOY LECTOR PART1- MD EDUCATIVO.pdfGabrieldeJesusLopezG
 
4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...
4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...
4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...MagalyDacostaPea
 
EJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docx
EJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docxEJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docx
EJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docxFabianValenciaJabo
 
NUEVO PLAN Y PROGRAMAS DE ESTUDIO 2022.pdf
NUEVO PLAN Y PROGRAMAS DE ESTUDIO  2022.pdfNUEVO PLAN Y PROGRAMAS DE ESTUDIO  2022.pdf
NUEVO PLAN Y PROGRAMAS DE ESTUDIO 2022.pdfEDNAMONICARUIZNIETO
 
DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...
DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...
DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...Martin M Flynn
 
PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2
PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2
PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2Eliseo Delgado
 
Abregú, Podestá. Directores.Líderes en Acción.
Abregú, Podestá. Directores.Líderes en Acción.Abregú, Podestá. Directores.Líderes en Acción.
Abregú, Podestá. Directores.Líderes en Acción.profandrearivero
 
SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...
SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...
SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...GIANCARLOORDINOLAORD
 
Acuerdo 05_04_24 Lineamientos del CTE.pdf
Acuerdo 05_04_24 Lineamientos del CTE.pdfAcuerdo 05_04_24 Lineamientos del CTE.pdf
Acuerdo 05_04_24 Lineamientos del CTE.pdfmiriamguevara21
 
Secuencia didáctica.DOÑA CLEMENTINA.2024.docx
Secuencia didáctica.DOÑA CLEMENTINA.2024.docxSecuencia didáctica.DOÑA CLEMENTINA.2024.docx
Secuencia didáctica.DOÑA CLEMENTINA.2024.docxNataliaGonzalez619348
 
PROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdf
PROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdfPROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdf
PROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdfMaritza438836
 
Fichas de Matemática TERCERO DE SECUNDARIA.pdf
Fichas de Matemática TERCERO DE SECUNDARIA.pdfFichas de Matemática TERCERO DE SECUNDARIA.pdf
Fichas de Matemática TERCERO DE SECUNDARIA.pdfssuser50d1252
 
Amor o egoísmo, esa es la cuestión por definir.pdf
Amor o egoísmo, esa es la cuestión por definir.pdfAmor o egoísmo, esa es la cuestión por definir.pdf
Amor o egoísmo, esa es la cuestión por definir.pdfAlejandrino Halire Ccahuana
 
Contextualización y aproximación al objeto de estudio de investigación cualit...
Contextualización y aproximación al objeto de estudio de investigación cualit...Contextualización y aproximación al objeto de estudio de investigación cualit...
Contextualización y aproximación al objeto de estudio de investigación cualit...Angélica Soledad Vega Ramírez
 

Último (20)

¿Amor o egoísmo? Esa es la cuestión.pptx
¿Amor o egoísmo? Esa es la cuestión.pptx¿Amor o egoísmo? Esa es la cuestión.pptx
¿Amor o egoísmo? Esa es la cuestión.pptx
 
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
 
PRIMER GRADO SOY LECTOR PART1- MD EDUCATIVO.pdf
PRIMER GRADO SOY LECTOR PART1- MD  EDUCATIVO.pdfPRIMER GRADO SOY LECTOR PART1- MD  EDUCATIVO.pdf
PRIMER GRADO SOY LECTOR PART1- MD EDUCATIVO.pdf
 
4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...
4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...
4° SES COM MAR 09 Leemos una noticia del dengue e identificamos sus partes (1...
 
EJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docx
EJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docxEJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docx
EJEMPLO MODELO DE PLAN DE REFUERZO ESCOLAR.docx
 
NUEVO PLAN Y PROGRAMAS DE ESTUDIO 2022.pdf
NUEVO PLAN Y PROGRAMAS DE ESTUDIO  2022.pdfNUEVO PLAN Y PROGRAMAS DE ESTUDIO  2022.pdf
NUEVO PLAN Y PROGRAMAS DE ESTUDIO 2022.pdf
 
Unidad 2 | Teorías de la Comunicación | MCDIU
Unidad 2 | Teorías de la Comunicación | MCDIUUnidad 2 | Teorías de la Comunicación | MCDIU
Unidad 2 | Teorías de la Comunicación | MCDIU
 
DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...
DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...
DIGNITAS INFINITA - DIGNIDAD HUMANA; Declaración del dicasterio para la doctr...
 
PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2
PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2
PÉNSUM ENFERMERIA 2024 - ECUGENIUS S.A. V2
 
Abregú, Podestá. Directores.Líderes en Acción.
Abregú, Podestá. Directores.Líderes en Acción.Abregú, Podestá. Directores.Líderes en Acción.
Abregú, Podestá. Directores.Líderes en Acción.
 
SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...
SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...
SESIÓN DE APRENDIZAJE Leemos un texto para identificar los sinónimos y los an...
 
Acuerdo 05_04_24 Lineamientos del CTE.pdf
Acuerdo 05_04_24 Lineamientos del CTE.pdfAcuerdo 05_04_24 Lineamientos del CTE.pdf
Acuerdo 05_04_24 Lineamientos del CTE.pdf
 
Secuencia didáctica.DOÑA CLEMENTINA.2024.docx
Secuencia didáctica.DOÑA CLEMENTINA.2024.docxSecuencia didáctica.DOÑA CLEMENTINA.2024.docx
Secuencia didáctica.DOÑA CLEMENTINA.2024.docx
 
Aedes aegypti + Intro to Coquies EE.pptx
Aedes aegypti + Intro to Coquies EE.pptxAedes aegypti + Intro to Coquies EE.pptx
Aedes aegypti + Intro to Coquies EE.pptx
 
PROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdf
PROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdfPROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdf
PROGRAMACIÓN CURRICULAR - DPCC- 5°-2024.pdf
 
Sesión ¿Amor o egoísmo? Esa es la cuestión
Sesión  ¿Amor o egoísmo? Esa es la cuestiónSesión  ¿Amor o egoísmo? Esa es la cuestión
Sesión ¿Amor o egoísmo? Esa es la cuestión
 
Fichas de Matemática TERCERO DE SECUNDARIA.pdf
Fichas de Matemática TERCERO DE SECUNDARIA.pdfFichas de Matemática TERCERO DE SECUNDARIA.pdf
Fichas de Matemática TERCERO DE SECUNDARIA.pdf
 
Amor o egoísmo, esa es la cuestión por definir.pdf
Amor o egoísmo, esa es la cuestión por definir.pdfAmor o egoísmo, esa es la cuestión por definir.pdf
Amor o egoísmo, esa es la cuestión por definir.pdf
 
Aedes aegypti + Intro to Coquies EE.pptx
Aedes aegypti + Intro to Coquies EE.pptxAedes aegypti + Intro to Coquies EE.pptx
Aedes aegypti + Intro to Coquies EE.pptx
 
Contextualización y aproximación al objeto de estudio de investigación cualit...
Contextualización y aproximación al objeto de estudio de investigación cualit...Contextualización y aproximación al objeto de estudio de investigación cualit...
Contextualización y aproximación al objeto de estudio de investigación cualit...
 

Presentacion de grafos juan velasquez 23770791

  • 1. Instituto Universitario Politécnico “Santiago Mariño” Extensión Porlamar Sección: Saia – Estructura Discreta y Grafos Ingeniería en Sistemas Circuitos Combinatorios Y Algebra Booleana Realizado Por: Juan Velásquez C.I: 23.770.791 Porlamar 13 de Agosto de 2016
  • 2. Circuitos Combinatorios Un circuito combinatorio es un arreglo de compuertas lógicas con un conjunto de entradas y salidas. Está representado por una función booleana y sigue las reglas del algebra de Boole. Los circuitos combinatorios se pueden definir como la realización física de una función booleana. La aplicación básica del algebra de Boole son los circuitos combinatorios. Se utilizan para resolver problemas en los cuales se requiere de una combinación especifica de algunas entradas para obtener otras salidas determinadas. Pueden describirse mediante una tabla de verdad que muestre la relación binaria entre las n variables de entradas y las m variables de salidas. Puede especificarse también con m funciones booleanas, una por cada variable de salida.
  • 3. Propiedades de los Circuitos Combinatorios
  • 4.
  • 5. Ejemplo de Circuito Combinatorio Para obtener un circuito combinacional óptimo, se sigue el proceso general siguiente: 1.- Dado el enunciado del problema, establecemos su "tabla de verdad". 2.- A partir de esta tabla, obtenemos la función canónica en minterms o en maxterms. 3.- A continuación simplificamos dicha función, bien en forma algebráica (aplicando teoremas y postulados del Algrebra de Boole) o bien mediante la aplicación de métodos tabulares sencillos (métodos de Karnauh o de McCluskey). 4.- Finalmente, realizamos la función simplificada mediante las oportunas puertas lógicas.
  • 6. Método de Karnaugh Es un método tabular gráfico que se basa en los llamados "mapas de Karnaugh", consistentes en una tabla de cuadros, cada uno de los cuales representa un término canónico. Estos cuadros están distribuidos de tal modo que cualquiera dos de ellos contiguos físicamente, corresponden a términos canónicos adyacentes. Ejemplo: f4 (d,c,b,a) = 34 (1,3,7,8,11,13,15) Simplificando por minterm, es... f4 (d,c,b,a) = dcba + dca + dca + ba = dcba + a(dÅc+b) Pasando a maxterms... f4 (d,c,b,a) = J4 (1,3,5,6,9,10,11,13,15) Simplificando por maxterm es... f4 (d,c,b,a) = (d+a)(c+a)(d+c+b)(b+a)(d+c+b+a) = (dcb+a)(d+c+b)(d+c+b+a)
  • 7. Algebra Booleana Álgebra de Boole (también llamada álgebra booleana), Es una estructura algebraica que esquematiza las operaciones lógicas:  Y, O, NO y SI (AND, OR, NOT, IF). Así como el conjunto de operaciones:  Unión  Intersección  Complemento
  • 8. Propiedades de Algebra Booleana Un sistema de elementos B y dos operaciones binarias cerradas (·) y (+) se denomina ALGEBRA de BOOLE siempre y cuando se cumplan las siguientes propiedades: 1.- Propiedad conmutativa: A + B = B + A A · B = B · A 2. Propiedad distributiva: A·(B+C) = A·B + A·C A + B·C = (A+B)·(A+C) 3. Elementos neutros diferentes A + 0 = A A · 1 = A 4. Siempre existe el complemento de A, denominado A’ A + A’ = 1 A · A’ = 0
  • 9. Ejemplo de Ejercicio Funciones Booleanas 1.-Demostrar que cada aserción o identidad algebraica deducible de los postulados del álgebra de Boole sigue siendo válida si las operaciones " + " y " . " y los elementos identidad (1 y 0) se intercambian entre si. Tomando los postulados (a) de Huntigton e intercambiando en ellos los operadores y elementos identidad resulta: Respuesta : Tomando los postulados (a) de Huntigton e intercambiando en ellos los operadores y elementos identidad resulta:
  • 10. 1 a) a + b = b + a ⇔ a . b = b . a ( 1 b 2 a) a + 0 = a ⇔ a . 1 = a ( 2 b 3 a) a + (b . c) = (a + b) . (a + c) ⇔ a . (b + c) = (a .b) + (a . c) ( b 4 a) a + a’ = 1 ⇔ a . a’ = 0 ( 4 b Es decir, que a partir de los postulados (a) se obtienen los postulados (b). Esto demuestra lo que nos habíamos propuesto.
  • 11. 2.- Demostrar que para todos los elementos a, b, c de un álgebra de Boole se verifican los siguientes teoremas: Idempotencia: a + a = a ; a . a = a Elemento unidad: a + 1 = 1 ; a . 0 = 0 Absorción : a + (a . b) = a ; a . (a + b) = a Asociatividad: a + (b + c) = (a + b) + c ; a . (b . c) = (a . b) . c Complemento único: El elemento a' asociado al a es único Involución: (a')' = a En cualquier álgebra booleana: 0' = 1 ; 1' = 0 Leyes de Morgan (a + b)' = a' . b' ; (a . b)' = a' + b' Relación de orden: si a ≤ b ⇒ a' + b = 1 ; si a ≤ b ⇒ a' . b = 0 Sobre conjuntos: Cada álgebra booleana que pueda formarse es isomorfa al álgebra de conjuntos.
  • 12. Respuesta: En los casos que precede solo demostraremos una parte de cada teorema, deduciendo la otra del principio de dualidad. Idempotencia Por los axiomas 4b y 2a tenemos : a + 0 = a + (a . a' ) = a y aplicando el axioma 3 a : a + (a . a' ) = (a + a) . (a + a') = a Finalmente, por los axiomas 4 a y 2 b : (a + a) . (a + a') = (a + a) . 1 = a + a = a Demostrado Elemento unidad Partiendo del axioma 2 b y aplicando también los axiomas 3 a, 2 b y 4 a, tenemos : 1 + a = 1 . (1 + a) = (a + a') . (1 + a) = a + a' . 1 = a + a' = 1 Demostrado.
  • 13. Absorción Aplicando los axiomas 2b y 3b, el teorema anterior y el axioma 3b de nuevo a + a.b = a.l + a.b = a(l + b) = a.l = a Demostrado Asociatividad Para este teorema demostraremos antes que se cumple: a[(a + b) + c] = [(a + b) + c]a = a Esto es : (por el postulado 3b) : a[(a+b) + c] = a(a+b) + a.c = a + a.c = a = [(a+b) + c]a donde hemos aplicado reiteradamente el teorema de absorción y finalmente el axioma de conmutatividad.
  • 14. Con el anterior resultado supongamos que se tiene: x = [(a+b) + c] . [a + (b + c)] aplicando los axiomas de distributividad nos queda : [(a+b)+c]a+[(a+b)+c].(b+c)=a+[(a+b)+c].(b.c) donde hemos aplicado el resultado anterior. Aplicando de nuevo la distributividad, e1resultado anterior y el teorema de absorción : a+[(a+b)+c].b+[(a+b)+c].c=•=a+b+[(a+b)+c].c=a+(b+c) Por otro lado, aplicando los axiomas de distributividad, el resultado anterior y el teorema de absorción, tenemos también : x=[(a+b)+c].[a+(b+c)]==(a+b)[a+(b+c)]+c[a+(b+c)]==(a+b)[a+(b+c)]+c==a[a+(b+c )]+b[a+(b+c)]+c=(a+b)+c Por todo ello, teniendo en cuenta la propiedad transitiva de la igualdad: a + (b + c) = (a + b) + c Demostrado.
  • 15. Elemento único Para demostrar que el complemento definido por el postulado 4 es único, supongamos que existen dos elementos a'1 y a'2 que lo satisfacen. Esto es : a + a'1 = 1 ;a + a'2 = 1 ; a.a'1 = 0 ; a.a'2 = 0 por los postulados 2b y 3b tendremos : a′2=1.a′2=(a+a′1).a′2=a.a′2+a′1.a′2=0+a′1.a′2=•=a.a′1+a′1.a′2=(a+a′2).a′1=1.a′1+a′1 Demostrado. Involución Para demostrar el teorema de involución tenemos : (a')' . a' = 0 ; (a')' + a' = 1 a . a' = 0 ; a + a' = 1 en consecuencia, tanto (a')' como a son complementos de a' por lo que, teniendo en cuenta el teorema anterior, se deberá cumplir : (a')' = a Demostrado.
  • 16. Propiedad de los elementos identidad de un álgebra de Boole Teniendo en cuenta los axiomas 2 y 4 : 1' = 1' . 1 = 0 ; 0' = 0'+ 0 = 1 Demostrado. Leyes de Morgan Para demostrar las leyes de Morgan tenemos en cuenta que el complementario de cualquier elemento de un álgebra de Boole es único. Tenemos : (a+b)⋅(aˉ⋅bˉ)=a⋅(aˉ⋅bˉ)+b⋅(aˉ⋅bˉ)=•=(a⋅aˉ)⋅bˉ+(b⋅bˉ)⋅a=0+0=0 donde hemos aplicado el axioma de distributividad y el de conmutatividad y los teoremas de asociatividad y elemento unidad. (a+b)+(aˉ⋅bˉ)=(a+b+aˉ)⋅(a+b+bˉ)= =[(a+aˉ)+b]⋅[a+(b+bˉ)]=(1+b)⋅(a+1)=1 donde hemos aplicado los axiomas de distributividad conmutatividad y complementación y el teorema del elemento unidad. Puesto que (aˉ⋅bˉ) cumple los axiomas requeridos para ser el complementario de (a+b) y éste debe ser único, hemos llegado donde queríamos. Demostrado.
  • 17. Relación de orden Veamos ahora si la ecuación a' + b = 1 define una relación de orden : Reflexiva : ∀a∈B⇒a′+a=1⇒aRa Antisimétrica : Si a′+a=1∧a′+b=1⇒a=b por el complemento único. Transitiva : Si aRb⇒a′+b=1ya′ es el complementario de b y si bRc⇒b′+c=1 y c es el complementario de b' De lo anterior se deduce: c = b ⇒ a' + c = 1 ⇒ a R c La implicación recíproca (a ≤ b ⇒ a' + b = 1 ) es trivial. Demostrado
  • 18. Sobre conjuntos Para demostrar el último apartado consideramos las relaciones: ∩↔′⋅′;∪↔′+′;∅↔0;E↔1;C(S)↔S′ con esta transformación se comprueba fácilmente que el álgebra de conjuntos cumple los postulados de Huntington y, en consecuencia, es un álgebra de Boole. Demostrado.