ALGEBRA DE BOOLE

EJERCICIOS RESUELTOS

1) Hacer circuito con pulsadores, tabla de verdad, circuito con compuertas lógicas,
expresión booleana sintetizada y mapa k.
ZBACBCBA
2) Dada la tabla de verdad, encontrar la función algebraica, el circuito con llave y la
compuerta lógica.

C B A Z
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1

3) Dada la función Z(A C)(A encontrar el circuito con llave, tabla de

B C)
verdad y la compuerta lógica.

4) Resolver minimizando:
a) Z  ( A  B  C ) ( A  C )

b)
Z  ( A  B C ) ( A B B C )

c)
Z  A  AB B AB

5) Encontrar la expresión booleana del siguiente circuito, con la compuerta lógica,

circuito con llave y la expresión sintetizado

1
6) Sintetizar la siguiente expresión booleana y hallar la tabla de verdad, mapa k.
Z  A  ( A  B)  B  ( A  B)

7) Dado el siguiente circuito, aplicando el concepto de funciones equivalentes,

realizarlo con las mismas compuertas. Verificar que la expresión booleana de ambos
circuitos sea la misma.

8)
A- Dado el siguiente circuito con llaves, armar su tabla de verdad y encontrar la
expresión booleana sintetizada, su circuito con llave, compuerta lógica y tabla de
verdad.
B- Realizar la TV y a partir de ella encontrar la expresión booleana, sintetizarla y
armar la nueva TV.

9) Idem punto 5: hacer TV, expresión booleana sintentizada, el circuito con llave, la
compuerta lógica y la síntesis de la TV.
10) Dado el siguiente circuito eléctrico, hacer la TV, expresión booleana sintentizada,
su circuito con llave, compuerta lógica y TV.
Respuestas:
1)
Z  AB  CB  ABC
Completo los términos con las variables faltantes, teniendo en cuenta que A  A  1
Z  AB(C  C)  BC( A  A)  ABC
Aplicando propiedad distributiva
ZABCABCABCABCABC
Factoreando por partes, resulta
ZAB(CC)AC(B
B)
Como C  C  1 y B  B 
1 Z  AB  AC

C B A Z
0 0 0 0
0 0 1 0
0 1 0 0
BA 00 01 11 10 0 1 1 1
C 1 0 0 1
0 0 0 1 0 1 0 1 0
1 1 0 1
1 1 0 1 1 1 1 1 1

2) Z  ABC  ABC  ABC

Z  AB(C  C)  ABC
Z  A B  ABC
Z  A(B  BC)
Aplico la propiedad distributiva de la suma lógica respecto del producto
lógico Z  A(B  BB  C)
Z  A(B  C)
Z  AB  AC
 BA 00 01 11 10
C
0 0 0 1 0
1 0 1 1 0

3) Z  ( AB  C)( AC)

Z  ( A  B  C)( A  C)
Z  AA  AC  AB  BC  AC  CC
Z  0  AC  AB  BC  AC  C
C B A Z
Z  AB  C( A  B  A  1) 0 0 0 1
0 0 1 1
Z  AB  C 0 1 0 1
0 1 1 1
BA 00 01 11 10 1 0 0 0
1 0 1 0
C
1 1 0 0
0 1 1 1 1 1 1 1 1

1 0 0 1 0

4)
A 0 1
B
0 0 1
1 1 1
a) Z  ( A  B  C)( A  C)
Z  AA  AC  BA  BC  CA 
CC Z  A  AC  BA  BC  C
Z  A(1  C  B)  C(B  1)
ZAC

b) Z  ( A  CB)( AB  BC)

Z  ( A  CB)( AB  BC)
Z  A(C  B)( A  B)(B  C)

Z  ( AC  AB)( AB  AC  BB  BC)
Z  ( AC  AB)( AB  AC  0  BC)
Z  AC AB  AC AC  ACBC  ABAB  ABAC  ABBC
Z  C AB  AB  BAC
Z  AB(C  1  C)
Z  AB

A 0 1
B B A Z
0 0 1
0 1 0
0 1 0
0 0 1 0 0
1 1 1 0

C)
Z  A  AB  B  AB
A 0 1
Z  A  AB  B  AB B
Z  A  AB  B  AB 0 0 1

Z  A  ( A  B)  B  ( A  B) 1 1 0 6
Z  AA  AB  BA  BB
Z  AB  BA  A  B
 B A Z
0 0 0
0 1 1
1 0 1
1 1 0

5)
Z  ABC(B  C  D)  ABC  (B  C  D)
Z  ( ABCB  ABCC  ABCD)  ( A  B  C)  BCD
Z  ABC  ABCD  ABCD  BBCD  CBCD

Z  ABC  ABCD  ABCD  BCD

Z  ABC(1  D)  BCD( A  1)
Z  ABC  BCD

D C B A Z
BA 00 01 11 10
0 0 0 0 0
DC 0 0 0 1 0
00 0 0 0 0 0 0 1 0 0
0 0 1 1 0
01 0 0 0 1 0 1 0 0 0
0 1 0 1 0 7
11 0 0 0 0 0 1 1 0 1
0 1 1 1 0
1 0 0 0 0
 6)
Z  A  ( A  B)  B  ( A  B)

Z  ( A  ( A  B))  (B  ( A 
B)) Z  A( A  B)  B( A  B)
Z  ( AA  AB)  (BA  BB) A 0 1
Z  (0  AB)  (BA  0) B
Z  AB  BA 0 0 1
B A Z
0 0 0 1 1 0
0 1 1
1 0 1
1 1 0

7)

Z1  ( A  B)  (B  C)
Z1  AB  AC  BB  BC Z 2 A  B  B  C

Z  AB  AC  B  BC Z 2  ( A  B)(B  C)
1
Z 2  ( A  B)(B  C)
Z1  B(B  1  B) 
Z 2  AB  AC  BB  BC
AC Z1  B  AC
Z 2  AB  AC  B  BC
Z 2  B(B  1  B)  AC Z 2  B  AC

C B A Z
0 0 0 0 BA 00 01 11 10
0 0 1 0 C
0 1 0 1
0 1 1 1
0 0 0 1 1
1 0 0 0 1 0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
8)
Z  ( AB  ( A  B)C)  ( AB 
C) Z  ( AB  ( AC  BC))  (
AB  C) Z  ( AB  AC  BC)  (
AB  C)
Z  ABAB  ACAB  BCAB  ABC  ACC  BCC
Z  0  CAB  BCA  ABC  0  0
Z  CAB  ABC

C B A Z BA 00 01 11 10
0 0 0 0
0 0 1 0 C
0 1 0 1 0 0 0 0 1
0 1 1 0
1 0 0 0 1 0 1 0 0
1 0 1 1
1 1 0 0
1 1 1 0

9)
Z  ( AB  CD)(( A  B)(C  D))  ( AB  CD)(( A  B)(C  D))

Z  ( AB  CD)(( A  B)  CD)  ( AB  CD)( A  B)  (C 

D) Z  (( A  B)  CD)( ACD  BCD)  ( AB  CD)( AB 
C  D)
Z  ( ACD  BCD)( ACD  BCD)  ( AB  C  D)( AB  C  D)
Z  (0  0  0  0)  (0  ABC  ABD  CAB  0  CD  DAB  DC  0)
Z  ABC  ABD  CAB  CD  DAB  DC
D C B A Z
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 0
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1 BA 00 01 11 10
0 1 1 1 1 DC
1 0 0 0 1
00 0 1 0 0
1 0 0 1 1
1 0 1 0 1 01 1 1 1 1
1 0 1 1 1
1 1 0 0 0 11 1 1 1 1
1 1 0 1 0
1 1 1 0 1 10 0 0 0 1
1 1 1 1 0

10)

Z1  ( AB  C A) Z 2  ( AB  C A)(C  B)(( A  C)  BA)

Z 2  ( ABC  ABB  C AC  C AB)( A  C 
BA) Z 2  ( ABC  AB  C A  C AB)( A  C 
BA)
Z 2  BCA  BA  ABC  CBA
Z 2  BA(C  1  C)  CBA
Z 2  BA  CBA
10
11
 Trabajo Práctico Nº 2
1) Resolver las siguientes identidades De Morgan, aplique las leyes de álgebra de boole
en los casos que crea conveniente.

A) A  B

B) A* B

C) A  B

D) E * B

E) C *(D  E)

F) A  (B *C)

2) Justifique por medio de la expresiòn booleana las compuertas derivadas NAND,

NOR y EX-NOR.

3) Dados los siguientes circuitos con pulsadores, hallar su funcion equivalente.

Justifique su respuesta por medio de la tabla de verdad. La expresión booleana debe
hallarse por simple inspeccion del circuito dado. Hcer el circuito con compuertas y con
pulsadores sintetizado. Hacer el mapa K.

a)
b)

c)

d)
 Respuestas
1)
a) ABAB

b) ABAB

c) AB AB AB

d) E  B  E  B  E  B

e) C  (D  E)  C  (D  E)  C  (D  E)  C  (D  E)  (C  D)  (C  E)

f) A  (B  C)  A  (B  C)  A  (B  C)  A  (B  C)  AB  AC

2)

Z  A 

AND NAND BZ A

ZAB BZ A
B
Z AB
ZAB
ZAB
OR ZAB NOR
Z  A 
B
ZAB
Z  AB  AB
Z  AB  AB
Z  AB  AB

EXOR EX-NOR Z  AB  AB
Z  AB  AB
Z  ( A  B)  ( A  B)
Z  ( A  B)  ( A  B)
Z  AA  AB  BA  BB
Z  AB  BA
3)
a) Z  ( A  B) 
CA Z  ACA 
BCA Z  BCA

C B A Z
0 0 0 0 BA 00 01 11 10
0 0 1 0 C
0 1 0 0
0 1 1 0 0 0 0 0 0
1 0 0 0
1 0 1 1 1 0 1 0 0
1 1 0 0
1 1 1 0

b) Z  ( A  B)( A  B)  C
Z  ( AA  AB  BA  BB)  C C B A Z
0 0 0 0
Z  ( AB  BA)  C 0 0 1 0
0 1 0 0
Z  CAB  CBA 0 1 1 0
1 0 0 1
BA 00 01 11 10 1 0 1 0
C 1 1 0 0
1 1 1 1
0 0 0 0 0
1 1 0 1 0
c)
Z  (( A  B)C)  BA
Z  AC  BC  BA C B A Z
0 0 0 0
Z  AC(B  B)  BC  BA
0 0 1 0
Z  ACB  ACB  BC  0 1 0 1
0 1 1 0
BA Z  BC( A 1)  ACB  1 0 0 1
AB Z  BC  ACB  AB 1 0 1 1
1 1 0 1
Z  BC  B( AC  A) 1 1 1 1

Z  BC  B(( A  A)(C 
BA 00 01 11 10
A)) Z  BC  B(C  A) C
Z  BC  BC  BA 0 0 0 0 1
Z  C(B  B)  BA
1 1 1 1 1
ZCBA

d)
Z  (( AB  AC)(C  B))( A  B  C)
Z  ( ABC  ABB  ACC  AC B)( A  B  C)
Z  ( ABC  AC  AC B)( A  B  C)

Z  ABCA  ACA  AC BA  ABCB  AC B  AC BB  ABCC  ACC  AC

BC Z  ABC  AC B  AC B  ABC  AC  AC B
Z  ABC  AC B  AC
Z  ABC  AC(B  1)
Z  ABC  AC
Z  C( AB  A)

Z  C(( A  A)(B  A))  C(B  A)

Z  CB  C A
C B A Z
0 0 0 0
0 0 1 0
0 1 0 0 BA 00 01 11 10
0 1 1 0 C
1 0 0 1
1 0 1 0 0 0 0 0 0
1 1 0 1 1 1 0 1 1
1 1 1 1