Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Problemas Jexy
Problemas Jexy
INTEGRANTES:
-Berrocal Inocente, Oliver
20142584G
20141153B
20142565B
20141151J
Seccin: A
Resumen
Cada vez que se necesita realizar una conexin elctrica en casa o centro de estudios,
es comn realizarse la pregunta: Cmo puedo agilizar eficazmente la construccin de
estos circuitos lgicos? Pues la respuesta es simple y sencilla utilizando el lgebra de
Boole. El conocimiento de conceptos teoras y esquemas representativos de esta rama
del lgebra es necesaria para poder comprender y desarrollar nuevas soluciones a
problemas cotidianos que no tienden a ser sencillos.
En el presente trabajo se tocaran temas puntuales del lgebra de Boole que se debe
conocer previamente para poder resolver problemas de toda ndole. Los conceptos
tericos estn representados por mapas conceptuales, lo cual permitir un mejor
entendimiento del tema, a la vez que lo organizara de manera adecuada. Asimismo los
problemas propuestos cuentan con una resolucin detallada y un esquema grfico
para poder analizar el enunciado.
Esperando que el trabajo cumpla con las expectativas de los compaeros como del
profesor.
Summary
Every time needed perform an electrical connection at home or university, is carried
Common question: How can effectively speed up the construction of these logic
circuits? Well the answer is simple and easily using Boolean algebra. Knowledge of
concepts and theories schemes esta representative branch of algebra is necessary
power paragraph Understand and develop new solutions to everyday problems that do
is not easy.
Working in the present touch: specific issues of Boolean Algebra let him know
beforehand solving problems of all kinds. Theoretical Concepts are represented by
Conceptual maps, which allow is better understanding of the subject, the time that I
organize properly. Likewise problems with proposed have a resolution scheme, a
graphic detailed to analyze the statement.
Hoping That Work meets the expectations of students as well as the teacher.
INDICE
Palabras claves4
Introduccin..5
Hoja de respeto...6
Dedicatoria...7
Sntesis conceptual....8
Operadores booleanos.10
Aplicaciones del algebra de boole..11
Ejercicios propuestos13
Discusin.43
Sntesis final....44
Conclusin...45
Agradecimientos.46
Bibliografa.47
Palabras Claves:
Introduccin
El lgebra de Boole es un tema muy amplio y en algunos casos complicados, pero
gracias a ello posee una gran variedad de posibles utilidades y as simplificar las
tareas del da a da.
En primera instancia se brindarn los conceptos que posee el lgebra de Boole,
definiendo Qu es el lgebra de Boole? Asimismo se desarrollarn los postulados y
propiedades que hacen posible la resolucin efectiva de los ejercicios posteriormente
propuestos.
Las representaciones simblicas del lgebra de Boole son un punto fundamental
dentro de la ingeniera, es por ello que se muestran los tipos de operadores presentes,
as como los mtodos de resolucin que se pueden presentar ante un tipo de ejercicio.
Por otro lado, las operaciones y funciones presentes en cada ejercicio sern
detallados con mucha precisin para que no queden dudas al respecto porque el pieza
fundamental del lgebra de Boole saber reconocerlas y aplicarlas.
Por ltimo se lleva a cabo una sntesis de cmo el lgebra de Boole est presente en
las actividades cotidianas de una persona y ms an en el de un ingeniero.
Dedicatoria
El presente trabajo est dedicado a todo aquello que busque superacin y
conocimientos para construir un futuro mejor.
1. Sntesis conceptual
ALGEBRA BOOLEANA Y
CIRCUITOS
10
AND
NOT
OR
11
Las diferentes operaciones con estos tres operadores se pueden resolver de manera sencilla
con el teoremas de DeMorgan, que en sntesis se logra en tres pasos, primero se
reemplazan todos los "" por "+" despus se invierte cada literal y por ltimo se niega la
totalidad de la expresin:
A OR B
A AND B.......................Primer paso para aplicar el teorema de DeMorgan
12
CIRCUITOS COMBINACIONALES
13
14
2. Ejercicios Propuestos:
1. Determine el circuito lgico equivalente (Luisio Dextre)
Disponible en : http://vinuar75tecnologia.pbworks.com/f/Algebra+de+Boole+3.pdf
DESARROLLO
a) Propuesta de Solucin esquemtica
15
b) Procedimiento de la solucin
16
b) Procedimiento de la solucin
Reduciendo los circuitos lgicos se encuentra la funcin:
17
18
19
b)
Solucin
desarrollada
Por Morgan:
A B C + A B CD + A C D + A C + A B C D
Desdoblando en menos trminos:
A B C = A B C D + A B C D
A C D = A B CD + A B CD
A C = A B C + A B C = AB C D + A B CD + A B C D + AB C D
Eliminando trminos repetidos:
f = A B C D + A B C D + A B CD + A B C D + AB CD + AB C D
Realizando el cuadro de Karnaugh
20
a) Esquema de resolucin
b) Desarrollo de la solucin
ABC +AB(AC) = ABC +AB(AC)
=ABC+AB(A+C)
De Morgan
=ABC+AB(A+C)
Involucin
=ABC+ABA+ABC
Distribucin
=ABC+AAB+ABC
22
Substitucin
Conmutatividad
=ABC+AB+ABC
Idempotencia
=AB+ACB+ACB
Conmutatividad
=AB+AC(B+B)
Distribucin
=AB+AC(1)
Complemento nico
=AB+AC
Elementos nicos.
FORMA
NORMAL
DISYUNTIVA
FUNCIONES
BOOLEANAS
FORMA
NORMAL
CONJUNTIVA
b) Procedimiento de la solucin
Ley de Morgan
f (5,6,13)
4
f1 (0,1,2,3,5,6,8,9,10,11,13)
f f1 .f 2
Como
, si expresamos las funciones como producto de sumas cannicas
(maxtermin), los maxtermin de f2 deben completar los maxtermin que le falten a f 1
para lograr f, sin agregar ningn maxtermin que no est en f.
f (0,1,2,3,4,7,8,9,10,11,12,14,15)
4
f1 (4,7,12,14,15)
4
23
f 2 (0,1,2,3,8,9,10,11)
(4,7,12,14,15)
4
puede aparecer o no
(seran redundanciasen la tabla de verdad)
f (f 2 ) ( (0,1,2,3,8,9,10,11) (4,7,12,14,15)
Segn lo explicado en pg.12, ser:
f 2 (0,1,2,3,8,9,10,11) (4,7,12,14,15)
4
Notar que los trminos redundantes podran ser incluidos o no, a los efectos de lograr
una mayor simplificacin en el proceso de minimizacin de la funcin.
Disponible
en
http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/legris/apuntes
/AP-Circuitos.pdf
Solucin
24
b) Procedimiento de la solucin
f f1 f 2
f1 A B C)
f2 D
donde:
f1 A B C A B C (D D ) A B C D A B C D f1 (1,0) (0,1)
4
f2 D
Aparecern todos los trminos cuyo bit menos significativo (LSB) sea cero, es decir,
todos los trminos pares, por lo tanto:
f 2 (0,2,4,6,8,10,12,14)
4
f f1 f 2
Por definicin de OR-exclusiva, la funcin
adoptar al valor lgico 1 para
aquellas combinaciones de entrada para las que las funciones f 1 y f2 adopten valores
diferentes. Es decir, aparecern los mintermin que aparezcan en una sola de las
funciones. Es decir:
f (1,2,4,6,8,10,12,14) f (0,3,5,7,9,11,13,15)
4
25
Disponible
en:
https://eciencia.urjc.es/bitstream/handle/10115/5727/problemas_resueltos_electronica_
digital.pdf?sequence=6&isAllowed=y
Solucin
b) Procedimiento de la solucion
En este caso, puesto que hay menos ceros que unos, es ms conveniente disear
alrededor de los ceros, o sea usando maxterms. Obtenemos primero de la Tabla de
Verdad los maxterms requeridos:
26
Salida = (A + B + C) (A + B + C)
Simplificando:
Salida
= AA + AB + AC + BA + BB + BC + CA +
CB + CC
Puesto
que AA = 0 y BB = 0,
podemos
borrar dichos trminos y continuar con la
simplificacin:
Salida = AB + AC + AC + BA + BC + BC + C
Factorizando:
Salida = AB + C(A + A) + BA + C(B + B) + C
Puesto que:
A + A=1
B+B=1
La simplificacin conduce a:
Salida = AB + C + BA + C + C
Salida = AB + AB + C
27
Disponible
en:
http://www.portaleso.com/portaleso/trabajos/tecnologia/ele.yelectro/unidad_4_electroni
ca_digital_v1_c.pdf
8. Un diseador desea utilizar un NOR de 7 entradas cuando cuenta para ello con
un bloque NOR de 8 entradas proporcionadas por el circuito integrado CD4078.
28
OTROS OPERADORES
BOOLEANOS
NOR
Solucin
29
NAND
Salida = A + B + C + D + E+ F +G + H
De esta expresin vemos que basta con poner un "0" permanentemente en cualquiera
de las entradas para convertir un NOR de ocho entradas en uno de siete. Por ejemplo,
podemos
poner
un
"0"
todo
el
tiempo
en
la
entrada H:
Salida = A + B + C + D + E+ F +G + 0
Salida = A + B + C + D + E+ F +G
(2) La salida de un NAND de 4 entradas A, B, C y D, cualquiera que sea la tecnologa
con la cual haya sido fabricado, est dada por la siguiente expresin:
Salida = A B C D
De esta expresin vemos que basta con poner un "1" permanentemente en cualquiera
de las entradas para convertir un NAND de cuatro entradas en uno de tres. Por
ejemplo, podemos poner un "0" todo el tiempo en la entrada D:
Salida = A B C 1
Salida = A B C
Por ningn motivo y bajo ninguna circunstancia se debe dejar terminal de entrada
alguna a un circuito lgico sin conexin a ninguna parte. Todas las entradas no
utilizadas deben ser conectadas siempre a un "0" a un "1" lgico, segn sea el caso.
Impotencia:
Elemento unidad:
a+a=a
a+1=1
a. a = a
a. 0 = 0
Impotencia
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
10.
Demostrar que para todo a, b, c es una variable booleana
se verifican los siguientes teoremas: (Oliver Berrocal)
En cualquier lgebra booleana:
Leyes de Morgan
0' = 1
1' = 0
(a . b)' = a' + b'
31
a)
3
es
un
b)
cuando
se
aade
5
a
7,
c)
Existen
seres
vivos
d)
Esta
sentencia
que
Vd.
est
e) Es primo el nmero ll?
Si
la
nmero
primo
la
suma
es
14
en
Venus
leyendo
es
falsa
sentencia
es
agradable"
SOLUCION
C:pr
32
casa"
suicida"
es una tautologa.
Por la tabla de verdad y poniendo:
(p q) = s
;
(q r) = t
;
(p r) = v
Tenemos:
p
s.t
s.t v
y
resulta
una
tautologa.
Para este y otros casos es interesante recordar que se tienen las
siguientes equivalencias:
pq=p+q;ppq
13- Demostrar que para todos los elementos a, b, c de un
lgebra de Boole se verifican los siguientes teoremas:
Asociatividad:
.c
a + (b + c) = (a + b) + c
a . (b . c) = (a . b)
SOLUCION FORMAL
Para este teorema demostraremos antes que se cumple
a[(a + b) + c] = [(a + b) + c]a = a
Esto es :
a[(a+b) + c] = a(a+b) + a.c = a + a.c = a = [(a+b) + c]a
donde hemos aplicado reiteradamente el teorema de absorci6n 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 absorcin :
a + {[(a+b) + c].b + [(a+b) + c].c} = a + {b + [(a+b) + c].c} = a +
(b + c)
33
34
Fuente:
http://www.matematicasypoesia.com.es/ProbBoolePropo/ProbAlgByPPreg.ht
m
35
DIAGRAMA DE SOLUCION
Fuente: http://html.rincondelvago.com/algebra-de-boole-y-puertaslogicas.html
36
(A+A)'....1
+( (A' + B')' + (A+B)' )')'
(B+B)' ....2
= (A' + B')' + (A+B)'
(A+B)'...3
(xy)'
(7) (A'+B')(A+B)
37
DIAGRAMA DE SOLUCION
Fuente: http://html.rincondelvago.com/algebra-de-boole-y-puertaslogicas.html
38
16- Resolver
a) Sea p cierta, q falsa y r una proposicin que puede ser
cierta o falsa, que se puede decir de las siguientes
proposiciones?
p.p'
p+r
(p.q + r)(p + r)
p.q
p+r
1 0
1 0
0
1
0
0
1
1
p.q +
r
0
1
(p.q+r)
(p+r)
0
1
DIAGRAMA DE SOLUCION
Fuente:
http://www.matematicasypoesia.com.es/ProbBoolePropo/ProbAlgByPPreg.ht
m
40
41
SOLUCION:
I.
AB
00
01
11
10
II.
f ( A , B ,C )= A+C
B
B
)
f ( A , B ,C )=( A +C
42
) ( CB)
f ( A , B ,C )=( A
f ( A , B ,C )=( A ) ( CB)
III.
A B C
CB
CB
43
C+ A
B+ A B
C+ BC
f ( A , B ,C )= A
(Nstor
(https://coscomantauni.files.wordpress.com)
Medina)
SOLUCION:
I.
C ( B+ B
)+ A
B ( C + C )+ A B C+ BC ( A + A )
f ( A , B ,C )= A
BC + A
B C + A B C + A B C+ ABC
f ( A , B ,C )= A
44
II.
AB
00
01
11
10
C
0
1
III.
1
1
f ( A , B ,C )=C+ A B
45
46
f ( A , B ,C )= (0,2,8,9,10,11,14,15)
SOLUCION:
I.
47
00
01
11
10
CD
AB
00
01
11
10
II.
D+
A B
f ( A , B ,C )= AC + B
48
Medina)
SOLUCION:
D+
A B
f ( A , B ,C )= AC + B
A B C D
49
AC
B D
AB
50
3. Discusin
Joel Canoapaza
Aprender el lgebra de Boole es importante hoy en da ya que casi la totalidad de
productos electrnicos se basan en este tema, as que su conocimiento ser de mucha
importancia para nuestra vida diaria como futuros ingenieros.
Luiiso Dextre
El tema ha sido extenso en cuanto a la memorizacin de los operadores booleanos
que se utilizan para reducir las funciones dadas. Es por ello que recomiendo que se
practique mucho para poder realizar los ejercicios con mayor efectividad y rapidez.
George Fajardo
El algebra de Boole es un tema muy extenso que implica conceptos previos como
lgica , conjuntos , campos numricos y sistema binario. Es importante en la vida en
diferentes aspectos desde los mas cotidianos hasta procesos de empresas, analizar
determinados problemas con estos conceptos puede esquematizar y simplificar la
solucin que analizada de otra manera seria complicada.
Nestor Medina
El tema es de mucho inters pues nos servir de curso base en posteriores materias
De circuitos electronicos y circuitos conmbinacionales.
51
4. Sntesis final
El lgebra de Boole es una herramienta de fundamental importancia en el
mundo de la computacin. Las propiedades que se verifican en ella sirven de base al
diseo y la construccin de las computadoras que trabajan con objetos cuyos valores
son discretos, es decir las computadoras digitales, en particular las binarias (en las
cuales los objetos bsicos tienen solo 2 valores posibles) las que son, en definitiva, la
casi totalidad de las computadoras de uso corriente.
4. Final Synthesis
Boolean algebra is a tool of fundamental importance in the world of computing.
Properties What are verified in it serve as a basis for the design and construction of
computers working with objects Whose discrete values son is Saying digital computers,
in particular binary (in Which the Basic Objects have only 2 Values possible) That are
ultimately that of almost all the current USO Computers.
That is why the job was coupled to Needs An engineering student, using graphics and
diagrams That facilitate their learning and thus can be applied successfully to the Daily
life of each student. Likewise posed Problems That They Were That Defies UN level
students an Overcoming the previously known and thus to innovate.
52
5. Conclusiones
53
6. Agradecimientos
54
7. Referencias bibliogrficas
Fuentes de internet:
55
http://vinuar75tecnologia.pbworks.com/f/Algebra+de+Boole+3.pdf
http://vinuar75tecnologia.pbworks.com/f/Algebra+de+Boole+3.pdf
http://www.mfbarcell.es/docencia_uned/etci/tema_04/Funcionesogicas2pdf
http://www2.elo.utfsm.cl/~lsb/elo211/clases/ap1.pdf
http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/legris/
apuntes/AP-Circuitos.pdf
https://eciencia.urjc.es/bitstream/handle/10115/5727/problemas_resueltos_elect
ronica_digital.pdf?sequence=6&isAllowed=y
http://www.portaleso.com/portaleso/trabajos/tecnologia/ele.yelectro/unidad_4_el
ectronica_digital_v1_c.pdf
http://users.dcc.uchile.cl/~clgutier/Capitulo_3.pdf
http://html.rincondelvago.com/algebra-de-boole-y-puertaslogicas.html
http://www.matematicasypoesia.com.es/ProbBoolePropo/ProbAlgByPPr
eg.htm