Professional Documents
Culture Documents
NOTAS DE CLASE
TEMAS
Pag.
INTRODUCCIN
5
5
5
2.1.1.2
2.1.1.3
Operacin y Compuerta NOT (no, inversor)
2.2.2 Otras operaciones y compuertas lgicas
10
11
11
13
15
17
Prctica 2.1
22
24
26
26
Prctica 2.2
33
34
37
Prctica 2.3
48
49
49
Prctica 2.4
5.5
59
BIBLIOGRAFIA
INTRODUCCIN
El lgebra de Boole estudia tcnicas algebraicas para tratar expresiones de la lgica
proposicional con el fin de resolver ms rpidamente problemas de diseo electrnico. Es
una estructura matemtica definida con variables binarias A, B, C, x, y, z, en un
conjunto 0,1 y con tres operaciones AND, OR, y NOT en con un significado lgico,
verdadero - falso.
La ingeniera utiliza el lgebra de Boole para describir matemticamente la manipulacin
y el proceso de informacin binaria. Para ello establece una relacin entre el lgebra de
Boole, los circuitos lgicos y las seales elctricas binarias. [Morris pag 29]
En los sistemas electrnicos digitales, la informacin binaria se representa por medio de
voltajes o corrientes, y estn presentes en la entrada y salida de los circuitos digitales. De
acuerdo a (Tocci pag 11], el 0 y el 1 binarios se pueden representar con dos intervalos de
voltaje; por ejemplo, cualquier voltaje entre 0 y 0.8 voltios representan el 0 binario y
cualquiera entre 2 y 5 voltios representa el 1 binario. Todas las seales elctricas caen en uno
de estos dos niveles a excepcin del nivel de transicin entre 0.9 y 1.9 voltios el cual no es
utilizado tal como se muestra en la figura 2-1.
2.1
sta es la operacin Conjuncin del Clculo Proposicional que ahora se denota con un
punto, A . B , razn por la cual es llamada Multiplicacin Lgica. Puede omitirse el punto;
si se desea es indiferente A . B o AB . La expresin A . B o AB se lee A AND B.
La figura 2-3 muestra una interpretacin grfica de sta operacin utilizando un circuito
simple con interruptores en serie. Una batera alimenta el circuito con un voltaje V y pone
los electrones del cable en movimiento produciendo corriente elctrica; si los dos
interruptores A y B se cierran, la corriente pasa y har alumbrar la bombilla C; pero si uno o
los dos estn abiertos, la bombilla permanecer apagada. Esto se concreta en la siguiente
tabla.
A . BC
A . BC
Abierto
No alumbra
Abierto
Cerrado
No alumbra
Cerrado
Abierto
No alumbra
Cerrado
Cerrado
Alumbra
Abierto
Multiplicacin lgica.
Definicin 2.1
A . B es verdadero si y solo si A 1 y B 1 .
Ejemplo 2.1
La compuerta AND puede tener ms de dos entradas A1 , A2 , A3 ,..., An y una sola salida S.
La salida es la multiplicacin lgica de las variables de entrada.
Entrada B
0
0
1
1
0
0
1
1
Entrada C
0
1
0
1
0
1
0
1
Salida Y = A.B.C
0
0
0
0
0
0
0
1
2.1.2.2
La Figura 2-9 muestra la aplicacin de sta operacin a los circuitos simples con
interruptores. La batera alimenta el circuito con un voltaje V y genera corriente elctrica; si
los dos interruptores A y B estn abiertos, la corriente no pasa y por consiguiente no alumbra
la bombilla C; pero si uno o los dos estn cerrados, la bombilla alumbra. Esto se concreta en
la siguiente tabla.
A B C
A B C
Abierto
Abierto
No alumbra
Abierto
Cerrado
Alumbra
Cerrado
Abierto
Alumbra
Cerrado
Cerrado
Alumbra
Suma lgica.
Definicin 2.2
A B es falsa si y solo si A 0 y B 0 .
Ejemplo 2.2
La compuerta OR tiene como entradas A y B los mismos dos pulsos del ejemplo de la AND.
Al salir de la compuerta se obtiene la seal de salida S. El proceso que realiza la compuerta
es A B S . De t0 a t1 se obtiene 0 0 0 , de t1 a t 2 1 0 1 ; de t2 a t3 , 0 1 1 ; de t3
a t 4 1 1 1 ; de t 4 a t5 0 0 0 ; de t5 a t6 1 0 1 ; y as sucesivamente.
Al igual que en el caso anterior, sta compuerta puede tener ms de dos entradas
Figura 413
Las ocho combinaciones para la Compuerta de tres entradas A, B y C proporcionan una salida
nica que puede ser ALTA o BAJA, con 1 o 0. La salida es la suma lgica de las variables
de entrada.
Entrada A
0
0
0
0
1
1
1
1
Entrada B
0
0
1
1
0
0
1
1
Entrada C
0
1
0
1
0
1
0
1
Salida Y = A+B+C
0
1
1
1
1
1
1
1
2.1.2.3
A
0
1
A
1
0
Complemento lgico.
Definicin 2.3
A es verdadero si y solo si A 0 y
A es falso si y solo si
A 1
En el diseo de circuitos se ha estandarizado un smbolo para NOT:
11
El siguiente diagrama expresa que el resultado AND equivale a una OR con las entradas
invertidas.
Figura 217 Dos formas diferentes de obtener una AND de dos Entradas A y B.
Figura 219 Circuito Integrado 7432 y Esquema de sus cuatro compuertas OR.
A B es falso si y solo si A B 0 o A B 1
Se observa en la figura 2-20 que los valores de XOR son contrarios a la equivalencia de
proposiciones.
A
0
0
1
1
B
0
1
0
1
A BS
0
1
1
0
Ejemplo 2.3
Supongamos que una compuerta XOR tiene como entradas A y B, los mismos dos pulsos del
ejemplo de la AND y OR. A la salida de la compuerta se obtiene la seal de salida
13
Al igual que en los casos anteriores, sta compuerta puede tener ms de dos entradas
A1 , A2 , A3 ,..., An y una sola salida S. La salida es la suma lgica de las variables de entrada.
Figura 222 Diferentes tipos de compuertas XOR segn el nmero de Entradas A, B, de la compuerta.
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
0
1
0
0
1
2.1.3.2
equivalencia de A.B y de A B .
A
0
0
1
1
B
0
1
0
1
A.B
0
0
0
1
A.B S
1
1
1
0
A
1
1
0
0
B
1
0
1
0
A B
1
1
1
0
Ejemplo 2.4
La compuerta NAND tiene como entradas A y B los mismos dos pulsos de los ejemplo
anteriores. A la salida de la compuerta se obtiene la seal de salida S. El proceso que realiza
la compuerta es A B S . De t0 a t1 se obtiene 0.0 1 , de t1 a t 2 1.0 1 ; de t2 a t3 ,
15
La compuerta NAND puede tener dos o ms entradas A1 , A2 , A3 ,..., An y una sola salida S.
La salida es la negacin de la salida que proporciona la AND de las variables de entrada. La
primera N hace referencia a negacin.
Entrad A Entrad B
0
0
1
1
0
0
1
1
A.B
X A.B
0
0
0
1
1
1
1
0
2.1.3.3
Entrad A
Entrad B
A B
X A B
0
0
1
1
0
0
1
1
0
0
0
1
1
1
1
0
Ejemplo 2.5
Supongamos el caso en que las entradas A y B de la compuerta NOR son los mismos dos
pulsos de los ejemplo anteriores. A la salida de la compuerta se obtiene la seal de salida S.
El proceso que realiza la compuerta es A B S . De t0 a t1 se obtiene 0 0 1 , de t1 a t 2
1 0 0 ; de t2 a t3 , 0 1 0 ; de t3 a t4 1 1 0 ; de t4 a t5 0 0 1 ; de t5 a t6 1 0 0 ; y
as sucesivamente.
La compuerta NOR puede tener dos o ms entradas A1 , A2 , A3 ,..., An y una sola salida S. La
salida es la negacin de la salida que proporciona la OR de las variables de entrada. El
diagrama siguiente ilustra que se obtiene los mismos resultados con la compuerta NOR y
una OR seguida de una INVERSORA.
17
Entrada A Entrada B
A
1
1
0
0
0
1
0
1
0
0
1
1
B
1
0
1
0
A B
1
1
1
0
X A B
0
0
0
1
2.1.3.4
Entrad A Entrad B
0
0
1
1
0
0
1
1
A B
X A B
0
1
1
0
1
0
0
1
Ejemplo 2.6
Consideremos el caso en que las entradas A y B de la compuerta NXOR son los mismos dos
pulsos de los ejemplo anteriores. A la salida de la compuerta se obtiene la seal de salida S.
El proceso que realiza la compuerta es A B S . De t0 a t1 se obtiene 0 0 1 , de t1 a
Cicern Jimnez Sierra
t2 1 0 0 ; de t2 a t3 , 0 1 0 ; de t3 a t4 1 1 1 ; de t4 a t5 0 0 1 ; de t5 a t6 1 0 0
; y as sucesivamente.
Ejemplo 2.7
a. Determinar la salida del circuito si los valores de las variables de entrada son
x 0, y 1, z 0 .
Solucin
19
b. Determinar la salida del circuito si los valores de las variables de entrada son
x 1, y 1, z 1 .
Solucin
En resumen:
NOMBRE
AND
(Y)
OR
(O)
SIMBOLO GRFICO
FUNCIN
TABLA DE
ALGEBRAICA
VERDADAD
F A.B
A
0
0
1
1
F A B
A
0
0
1
1
B
0
1
0
1
B
0
1
0
1
A.B
0
0
0
1
A B
0
1
1
1
21
INVERSOR
(NOT)
NAND
(NO Y)
NOR
(NO O)
XOR (O
EXCLUSIVA)
NXOR
(NO O EXCLUSIVE)
FA
A
0
1
A
1
0
F A.B A B
A
0
0
1
1
F A B A.B
A
0
0
1
1
B
0
1
0
1
A B
1
0
0
0
A
0
0
1
1
B
0
1
0
1
A B
0
1
1
0
A
0
0
1
1
A B
1
0
0
1
F A B
AB AB
F A B
AB AB
0
1
0
1
0
1
0
1
A.B
1
1
1
0
Prctica
2.1
1. En los ejercicios siguientes conecte los pulsos A y B dados a continuacin, a las entradas
de la compuerta AND, OR, NAND, NOR, XOR, NXOR, como en el ejemplo 2.1. Dibuje
debajo el pulso de salida para cada compuerta por separado.
2. Determine el valor de salida del circuito para la entrada, como en el ejemplo 210.
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
3. Determine el valor de salida del circuito para la entrada, como en el ejemplo 210.
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
23
4. Determine el valor de salida del circuito para la entrada, como en el ejemplo 210.
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
5. Determine el valor de salida del circuito para la entrada, como en el ejemplo 210.
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
2.2
Como ya se expres arriba, el lgebra de Boole es una estructura matemtica definida con
variables binarias A, B, C, x, y, z, en un conjunto 0,1 , con tres operaciones AND,
OR, y NOT en que tienen un significado lgico verdadero falso y con un conjunto de
propiedades de dichas operaciones. Mientras que el lgebra ordinaria trata con nmeros
reales, el lgebra de Boole trata solo con dos nmeros 0 y 1. Esta estructura matemtica al
servicio de la ingeniera fue creada por George Boole en 1954.
2.2.1 Postulados
Las propiedades o leyes a nivel axiomtico que cumplen las operaciones AND, OR y NOT
en 0,1 son Clausurativa, Conmutativa, Identidad, Distributiva y Complemento o de
Inversin.
Postulado 1: Propiedad Clausurativa. La suma y la multiplicacin lgica de los dos
elementos de 0,1 , da como resultado un elemento de 0,1 . Es decir, si x, y
entonces x y y
x. y . As, 0 + 0 = 0,
0 + 1= 1, 1 + 0 = 1 y 1 + 1 = 1 y adems
0 . 0 = 0, 0 . 1 = 0, 1 . 0 = 0 y 1 . 1 = 1.
Postulado 2: Propiedad Conmutativa. Si x , y entonces x y y x . Se evidencia
la verdad de esta propiedad mediante una tabla de verdad mostrando que x y y y x tienen
los mismos valores de verdad, lo cual se muestra en las columnas 3 y 4 de la figura 2-37;
2
y
x y
0
1
0
1
0
1
1
1
4
yx
0
1
1
1
25
x
0
0
0
0
1
1
1
1
2
y
x. y z
6
x. y
yz
x.z
x. y x.z
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1
0
0
0
0
0
1
1
1
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
1
Figura 238
x y.z y de x y . x z .
1
2
y
4
y.z
x y.z
x y
xz
x y . x z
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
0
1
0
0
0
1
0
0
0
1
1
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
1
1
1
1
0
0
0
1
1
1
1
1
Figura 2 39
1 0; 0 1 .
Principio de dualidad.
Dos expresiones booleanas son duales si y solo si una se obtiene de
la otra intercambiando operadores y elementos idnticos.
Resumen de dualidad en los postulados
POSTULADO BOOLEANO
POSTULADO BOOLEANO
DUAL
Conmutativa
A B B A
Distributiva
A B.C A B . A C
A.B B.A
A. B C A.B AC
.
Idntico
A 0 A
Complementacin
A A 1
A.1 A
A.A 0
Figura 2 40
Cada expresin booleana deducida de los postulados del lgebra booleana sigue siendo
vlida si los operadores y los elementos identidad se intercambian. La definicin de dualidad
de expresiones booleanas es importante en cuanto solo se necesita recordar una para tener la
otra equivalente.
27
1.
2.
3.
4.
x y x. y
x. y x y
5.
x y z x y z
xy z x yz
6.
x xy x
x x y x
7.
x xy x y
8.
x x. y x y
9.
xy x y x
10.
xy y x y
11.
xy x y x
12.
x y x y x
x. x y x. y
x y . x y x
x. x y x. y
x y x yx
x y x yx
x. y x. y x
Figura 241
Ejemplo 2.8
1
1, 4
1,3, 4
1,3, 4
1,3, 4
1,3, 4
PASO
AFIRMACIN
JUSTIFICACIN
x x
x x x x .1
x x x.1 x.1
x x x. 1 1
x x x.1
x x x
PASO
AFIRMACIN
JUSTIFICACIN
x 1
x 1 1. x 1
x 1 x x . x 1
1
1, 4
1, 4,5
1,3, 4,5
1,3, 4,5
1,3, 4,5
1,3, 4,5
1, 2,3, 4,5
x 1 xx x xx x
x 1 x x xx x
x 1 x x 0 x
x 1 x 0 x
x 1 x x 0
Por el teorema 1 en 5 .
Por postulado de la conmutatividad en
6 .
1, 2,3, 4,5
x 1 x x 0
1, 2,3, 4,5
10
x 1 1 0
1, 2,3, 4,5
11
x 1 1
2
3
Demostrar el Teorema 3. x x
Demostracin
Sabemos por el postulado 5 del complemento que para todo x , x x 1 , 1 . Si se
reemplaza x por x se obtien x x 1 , 2 . De 1 y 2 se concluye que x x .
Ejemplo 2.11
29
Se evidencia la verdad de esta propiedad mediante una tabla de verdad mostrando que
x y z
1
x
2
y
3
z
4
x y
5
yz
x y z
x y z
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
1
1
1
1
0
1
1
1
1
1
1
1
Figura 241
x y z x y z
PAS
AFIRMACIN
JUSTIFICACIN
xy x ; y x
y x y x .1
1, 4
1, 4
1, 4,5
yx yx . xx
1,3, 4,5
1,3, 4,5
1,3, 4,5
y x xy xx yx xx
y x xy 0 yx xx
y x xy yx xx
1,3, 4,5
y x xy yx x
Por el teorema 2 en 3 .
Por el postulado del elemento idntico
en 1 .
Por el teorma dual del teorema 1.
x, y
1,3, 4,5
yx y xx x
1,3, 4,5
1,3, 4,5
y x y 1 x
10
yx yx
Ejemplo 2.13
PASO
AFIRMACIN
JUSTIFICACIN
x y x
1, 2
2, 4
x yx xx y
3, 4,5
3, 4,5
x y x 1 y
x y x 1
Por el teorema 2 en 4 .
x, y
x yx xx y
x y x en 1
31
Demostracin
1.
x y x x y y xx xy x y xy yy y y xx xy x y ; por postulado
propiedad distributiva
2.
3.
x y x x y y x xy x y xy y y y xx xy x y ; por teorema 1.
x y x x y y x y x y y y y xx y x x x y ; por postulado de
distributividad
4.
x y x x y y x y x 1 y y xx y 1 x y ; por postulado de
complemento
5.
6.
conmutatividad
7.
8.
x y x x y y x y y y xx x y ; por teorema 1
x y x x y y x y x y ; por postulado del complemento
AXIOMAS
DE APOYO
1,3, 4,5
1,3, 4,5
1, 2,3, 4,5
AFIRMACIN
JUSTIFICACIN
xy x y
xy x y y x y
xy x y y x y
xy x y x y y
xy x y xy x y
x, y
1, 2,3, 4,5
xy x y x y y
1, 2,3, 4,5
xy x y x 1
1, 2,3, 4,5
xy x y 1
Demostracin
AXIOMAS
DE APOYO
AFIRMACIN
JUSTIFICACIN
xy x y
1,3
1,3
1, 2,3, 4,5
1, 2,3, 4,5
1, 2,3, 4,5
Ejemplo 2.18
xy x y xx y x y y
xy x y 0 y x 0
xy x y 0 0
xy x y 0
xy x y xxy xy y
x, y
xy x y 1
x y xy
33
Prctica
2.2
3. 1.1
6. x 0
9. x 1
13. y yz
14. x y x
15. x y x
16. y yz
17. y yz
18. z y yz
1.
4.
7.
10.
0.0
xx
x.x
xy xy xy
12. x. y
1. S x y x y
2. S xyz xyzw
3. S x. y x y 0 . y.0
4. S x yz x yz
5. S x .x y y. y xy
6. S x. y.z
7. S x y . x y
7. S x y . z w
8. S wzyx wz y x
9. S xyz. z y x
10. S x. y . z x
11.
S xz . yw
Demostrar que
12. x x y xy
13. x x y x
14. xy x yz xy xz
15. x y x y z x y x z
2.3
y A B A B A B A B ,
como
en
suma
de
productos
como
como S AB AB A B A .
La tabla de verdad de una funcin booleana determina los diferentes estados ALTO o BAJO
a la salida del circuito.
A
AB
AB
A B
A B A
S AB AB A B A
Son muy importantes aquellas que estn formadas por productos de sumas como las
siguientes
x A B C A B C A B C A B C
35
z A B A B C A B A B C .
Tambin muy importantes, las sumas de productos como las siguientes:
Circuito NAND.
Solucin
Al pasar la seal A a travs de la compuerta inversora sale A . Al pasar las seales A y B
por la compuerta NAND sale como indica la figura siguiente, Y A.B . Pero aplicando ley
De Morgan se obtiene Y A.B A B .
Figura 243
Y A B
0
0
1
1
0
1
0
1
1
0
1
0
1
0
1
1
Figura 244
Ejemplo 2.20
Una entrada A se invierte y se aplica a una compuerta AND. La otra entrada es B. La salida
de la compuerta AND se aplica a una compuerta OR. La segunda entrada a la OR es A.
Dibuje el circuito lgico, halle la funcin de salida y haga la tabla de verdad.
Solucin
El circuito descrito es el siguiente.
Figura 2-45
B
0
1
0
1
AB
z A AB
1
1
0
0
0
1
0
0
0
1
1
1
Ejemplo 2.21
Figura 2-45
37
Figura 246
AB
AB
A B
A B A
S AB AB A B A
0
0
1
1
0
1
0
1
1
1
0
0
1
0
1
0
0
0
1
0
0
1
0
0
1
0
1
1
0
0
1
1
0
1
1
1
Figura 247
Hay dos formas de simplificar una funcin booleana suma de productos, producto de sumas
y las que no son una de stas: se trata de la simplificacin algebraica y la simplificacin
mediante mapas de Karnough.
Ejemplo 2.22
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
z
1
0
0
1
1
0
0
1
Figura 2-48
Solucin
Primero debemos construir una funcin booleana de variables A, B y C que genere los
valores de z. Para ello hay dos alternativas: tomar como referente solo unos (1) o solo ceros
(0). En el primer caso, la funcin booleana queda construida como una suma de productos y
en el segundo como un producto de sumas.
a. Funcin suma de productos (el referente de solo unos)
En este caso las variables complementadas y no complementadas se multiplican para que
el resultado de dicha multiplicacin sea un 1 lgico. Obsrvese la explicacin dada en la
tabla siguiente.
A B C z
Explicacin
A.B.C
A B C 0, pero, A B C 1 y as A.B.C 1
A.B.C
A 0, B C 1, pero, A 1, B C 1 y as A.B.C 1
A.B.C
A 1, B C 1, pero, A B C 1 y as A.B.C 1
1
0
0
0
2
3
0
0
0
1
1
0
0
0
6
7
1
1
0
1
39
A.B.C
A B C 0, pero, A B C 1 y as A.B.C 1
Figura 249
z A.B.C A.B.C A.B.C A.B.C . Ahora utilizamos los postulados y teoremas para
simplificar esta funcin.
1.
z B.C ( A A) B.C ( A A) ;
2.
3.
z B.C B.C ;
Explicacin
A B C
A B 0, C 1, pero, C 0 y as A B C 0
A B C
A C 0, B 1, pero, B 0 y as A B C 0
4
5
6
0
1
1
1
0
0
1
0
1
1
1
0
A B C
A C 1, B 0, pero, A B C 0 y as A B C 0
A B C
A B 1, C 0, pero, A B C 0 y as A B C 0
Figura 250
decir, z A B C
AA AB AC AB BB BC AC BC CC
z AA AB AC AB BB BC AC BC CC
1
;
A AB AC AB BC AC BC
Por teorema xx x y
z A AB AC AB BC AC BC
2
postulado de
complementacin en 1
A AB AC AC AB BC BC ;
z A AB AC AC AB BC BC
z A A AB BC BC A A AB BC BC ;
Por teorema x xy x y
postulados propiedades
distributiva y complem. en
3
5
z A AB BC BC A AB BC BC ;
Por teorema x x x en
4
z A BC BC A BC BC ;
Por teorema x x x en
5
Por teoremas xx x y
xx 0 en 7.
10
en 8
en 9
41
11
12
13
z ABC BC BC ;
Por teorema x + 1 = 1 en
10
z BC A 1 BC ;
z BC BC ;
La funciones z BC BC
Por teorema x + 1 = 1 en
12.
y
z A B C A B C A B C A B C son
equivalentes, lo cual significa que tienen el mismo valor de verdad, la misma tabla de verdad
dada.
Observacin. Aparentemente,
Figura 2-51
Ejemplo 2.23
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
z
1
0
0
1
0
0
0
1
Figura 2-52
Solucin
Debemos construir una funcin booleana de variables A, B y C que genere los valores de
z. Optemos por la suma de productos para construir la funcin lgica de salida. As, las
variables complementadas y no complementadas se multiplican para que el resultado de
dicha multiplicacin sea un 1 lgico. Obsrvese la explicacin dada en la tabla siguiente.
A
0
B
0
C
0
z
1
A.B.C
A B C 0, pero, A B C 1 y as A.B.C 1
2
3
4
0
0
0
0
1
1
1
0
1
0
0
1
A.B.C
A 0, B C 1, pero, A 1, B C 1 y as A.B.C 1
5
6
7
8
1
1
1
1
0
0
1
1
0
1
0
1
0
0
0
1
A.B.C
A B C 0, pero, A B C 1 y as A.B.C 1
Figura 253
Explicacin
43
A.B.C , A.B.C
A.B.C es decir,
A.B.C
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
0
0
0
0
0
0
1
A.B.C
0
0
0
1
0
0
0
0
A.B.C
1
0
0
0
0
0
0
0
Figura 254 L
2.
3.
z ABC B.C ;
B.C
A.B.C
z B.C A.B.C
0
0
0
0
1
1
0
0
1
1
0
0
0
1
0
1
0
1
1
1
1
1
0
0
1
1
0
0
1
1
1
0
1
0
1
0
0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
1
0
0
1
1
1
1
0
1
0
0
0
0
1
0
0
1
0
0
0
1
Figura 255 L
Figura 256
Ejemplo 2.24
S AB AB A B A
Solucin
S AB AB A ; por teorema 1, x x x
S AB A AB ; por postulado 2, propiedad conmutativa
S A AB ; por teorema, x xy x
S A B ; por teorema, x xy x y
45
mostradas abajo, tienen el mismo resultado. Por esta razn son equivalentes y
es
S AB AB A B A
A B
AB
AB
A B
A B A
0
0
1
1
1
1
0
0
1
0
1
0
0
0
1
0
0
1
0
0
1
0
1
1
0
0
1
1
0
1
0
1
S AB AB AA BA
Solucin
S AB AB A ; por teorema 1, x x x
S AB A AB ; por postulado 2, propiedad conmutativa
S A AB ; por teorema, x xy x
S A B ; por teorema, x xy x y
S AB AB A B A
Figura 257
S AB AB A B A ,
S A B
A B
Ejemplo 2.26
Q AB AC BC
Solucin
Q AB AC vemos que
y ABC BC
Solucin
47
y C A B ; por teorema x xy x y
Ejemplo 2.28
y A B A B
Solucin
Ejemplo 2.29
y ABC A B C
Cicern Jimnez Sierra
Solucin
y C B A BC ; por teorema x xy x y
y BC AC BC ; por propiedad distributiva
+Observacin. Las funciones y ABC ABC ABC ABC ABC y y BC AC BC
son equivalentes, es decir, tienen el mismo valor de verdad.
49
Prctica
2.3
f x, y, z, w x y zw x w
1.
f x, y, z x yz yz x y
3.
f x, y, z x y z x y x y x y z
4.
5.
2.
En los ejercicios del 6 al 11, utilice las compuertas AND, OR e INVERSOR para construir
el circuito lgico.
6. S zw x y
7. S x y zwv yzw
8. S x y vz
9. S x yz
10. S yz z w
11. S x yzw
14. Cambie cada compuerta del problema 9 por una compuerta NOR y simplifique el circuito
mediante las propiedades booleanas. Haga su tabla de salida en las dos formas
simplificada y no simplificada.
B
0
0
0
0
1
1
1
C
0
0
1
1
0
0
1
D
0
1
0
1
0
1
0
S
0
1
0
0
0
1
0
51
0
1
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
1
0
0
1
1
0
0
1
1
1
0
1
0
1
0
1
0
1
0
0
0
0
0
0
1
0
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
S
0
1
0
0
0
1
0
0
0
0
0
0
0
1
0
1
ABCD
ABCD
ABCD
ABCD
CD
AB
Cicern Jimnez Sierra
CD
CD
CD
AB
AB
AB
5.
CD
CD
AB
AB
AB
CD
CD
AB
6. Examine los 1 adyacentes y los aislados. En este caso no hay aislados. Tenga en
cuenta que cada cuadrado del rengln superior es adyacente al cuadrado
correspondiente del rengln infereior. Por ejemplo, si en ABCD hubiera un 1,
entonces ese 1 con el ABCD constituira un par adyacente.
CD
CD
AB
AB
AB
CD
CD
AB
7. Busque los unos que sean adyacente a otro uno. Repita cualquier par que tenga dicho
1. La funcin se simplificar en el paso 11 combinando los cuadros adyacentes que
tengan el 1, por parejas, por cuartetos o por octetos.
53
CD
AB
CD
CD
CD
AB
AB
AB
En este caso hay tres pares adyacentes de 1, a saber: ABCD y ABCD ; ABCD y
ABCD ; ABCD y ABCD .
8. Agrupe los octetos aunque algunos de los 1 ya hayan sido utilizados (en este caso no
hay octetos).
9. Agrupe cualquier curteto que contenga uno o ms unos que no se hayan utilizado,
asegurndose de utilizar el mnimo nmero de agrupamientos. En este ejemplo no
hay cuarteros adyacentes de unos.
10. Agrupe cualquier par que sea necesario para incluir los unos que no se hayan utilizado
aun. Asegrese de utilizar el monimo nmero de agrupamientos.
11. Simplificacin.
Agrupamiento por pares:
El agrupamiento de un par de unos adyacentes elimina la variable que aparece en
forma complementada y no complentada.
Agrupamiento por cuartetos:
El agrupamiento de un cuarteto de unos adyacentes elimina las dos variables que
aparecen en forma complementada y no complentada.
Agrupamiento por octetos:
El agrupamiento de un octeto de unos adyacentes elimina las tres variables que
aparecen en forma complementada y no complentada.
CD
CD
CD
CD
AB
AB
AB
Par
y AB
ABCD
Queda ACD .
Par ABCD y ABCD : se elimina A. Quda BCD .
Par ABCD y ABCD : se elimina C. Quda ABD .
ABCD :
se
elimina
B.
12. Forme la suma OR de todos los trminos generados por cada agrupamiento en la
simplicacin.
Luego, la simplificacin de la funcin S ABCD ABCD ABCD ABCD es
S ABCD ACD BCD ABD .
Se puede ver que la tabla de verdad de la funcin inicialmente dada coincide con la de la
funcin simplificada.
A B
C D
ABCD
ABCD
ABCD
ABCD
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
1
0
0
0
0
0
0
0
1
0
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
55
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
S
1
0
0
1
1
0
1
1
BC
BC
BC
BC
Solucin
En la Tabla 2 58 se muestra la salida S del circuito correspondiente a la funcin
S AB AB AB .
A B
AB
AB
AB
Figura 258
B
1
A
A
El Mapa de Karnaugh se muestra en la figura 2 59; por el lado izqierdo del cuadrado vara
la variable A en sus dos formas de variar complementada y no complementada, y en el lado
superior, la otra variable B. La tabla de salida S de la Figura 2 58 dice que hay tres unos,
los cuales estn consignados en los cuadraditos. Obsrvese que se forma un bloque dupla
vertical de unos adyacentes AB y AB y que recorrindolo decendentemente la variable A
cambia, mientras que B permanece fija en su valor. El cambio de A es una regla para
eliminar A de la funcin lgica en sus dos formas, quedando como su simplificacin. De
igual manera, en la dupla horizontal AB y AB , vara B y se conserva constante A; se elimana
B.
Regla de eliminacin de una variable en un mapa de Karnaugh: la variable que cambia en
un bloque de unos adyacentes puede ser eliminada de la funcin.
Luego, la funcin S AB AB AB se simplifica a S A B .
Prctica
2.4
57
7. S B C C B A B C .
8. S C D ACD ABC ABCD ACD .
9. S ABC ABC ABC ABC .
10. S ABCD ABCD ABCD ABCD ABCD ABCD .
11. S ABC ABC ABC ABC ABC
12. S CD ACD ABC ABCD ACD
13. Disee el circuito lgico simplificado correspondiente a la tabla dada.
A
14. Disee un circuito lgico simplificado cuya salida es alta solamente cuando la mayora
de las entradas A, B y C son bajas.
15. Supongamos tres luces intermitentes en sucesin de tal forma que nunca estn apagadas
ni encendidas al mismo tiempo. Tres fotoceldas son iluminadas por las tres luces. La
funcin de cada fotocelda es la de supervisar una de las luces y se encuentra en un circuito
que produce un voltaje de salida alto cuando la fotocelda est iluminada y bajo cuando
la fotocelda est oscura.
Disee un circuito que tiene como sus entradas las salidas del circuito de fotoceldas, el cual
produce una salida en alto siempre que las tres luces estn encendidas o bien todas apagadas
al mismo tiempo (Tocci, 1996).
16. Un nmero binario de 4 bits se representan como A3 A2 A1 A0 , donde A3 , A2 , A1 , A0
representan los bits individuales con A0 igual al bit de menor valor posicioanal. Disee
un circuito lgico que produzca una salida alta siempre que el nmero binario sea mayor
que 0010 y menor que 1000 (Tocci, 1996).
17. La figura muestra el diagrama de una alarma para automvil empleada para detectar
ciertas condiciones no deseables. Los tres interruptores se emplean para indicar el estado
en que se encuentra la puerta del lado del conductor, el encendido y los faros
respectivamente. Disee un circuito lgico con tres interruptores como entradas, de
manera que la alarma se active cuando se presenta cualquiera de las siguientes
condiciones:
59
Cunto sabemos?
Evaluacin Saber Pro
t v
v0
v v0
t
v t
C. a
v0
B. a
D. a
v0 v
t
4. Al
resolver
la
2 x 1 x 1 0
ecuacin
1
A. x , x 1
2
B. x 1, x 1
1
C. x , x 1
2
1
D. x , x 1
2
5. Si la altura de un trapecio mide 10cm
y sus bases 12cm y 8cm entonces su
rea es
A. 200cm2
B. 150cm2
C. 180cm2
D. 100cm2
6. La proposicin Si el rea de un
crculo es 400 cm2 entonces su radio
mide 40cm es
A. una conjuncin
B. una disyuncin
C. un condicional
D. un bicondicional
7. La funcin de salida del circuito de la
figura es
A. S D ABC AC
.
B. S D ABC A.C
C.
D.
S D ABC A.C
S D ABC A.C
BIBLIOGRAFA
Barco, C. (2005). Algebra Booleana. Aplicaciones tecnolgicas. Manizales, Colombia: Universidad de
Caldas.
Tocci, R. (1996). Sistemas digitales. Mexico: Prentice-Hall.
HOJA DE RESPUESTAS
CIENCIAS BSICAS
Nombre
COEVALUACIN
SABER PRO
Cdigo
Grupo