Objetivo: El alumno sea capaz de comprobar en el laboratorio el diseo de un

circuito utilizando algebra de Boole y reportar las ventajas que se obtienen al

optimizarlo.
1) Reducir la funcin en suma de productos y dibujar el circuito
correspondiente, obtener la tabla de verdad y armar.
F(A,B,C)= ABC+ABC+ABC+ABC
Sustituimos en las literales 0 y 1, como son sumas de productos sabemos que
son miniterminos entonces el 0 se sustituye donde la literal esta negada.
F(A,B,C)= ABC+ABC+ABC+ABC
101 110 011 111
5
6
3
7
Ahora reducimos aplicando postulados y teoremas del algebra de Boole
F(A,B,C)= ABC+ABC+ABC+ABC
A(BC+BC)+BC(A+A)
A(BC+BC)+BC
F(A,B,C)= [A(B C)+BC]

P5b
P6a
XOR=AB+AB

Tabla De Verdad
Decimal
0
1
2
3
4
5
6
7

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

F
0
0
0
1
0
1
1
1

2) Realice los pasos anteriores del ejercicio 1 con las siguientes funciones
a) F(x,y,z)= (x+y+z)(x+y+z)(x+y)(x+y)
b) F(a,b,c)=abc+abc+abc+abc+abc

a) Reducimos aplicando postulados y teoremas del algebra de Boole

F(x,y,z)= (x+y+z)(x+y+z)(x+y)(x+y)
[(x+y)+(0z)][(x+y)+ (0z)]
(x+y)(x+y)
xx+xy+yx+xy
xy+yx+xy
xy+yx
F(x,y,z)= (x y)

Tabla De Verdad
x
0
0
1
1

P5a
T3b
P5b
P6b
T2b
(A B)=AB+AB

y
0
1
0
1

F
1
0
0
1

b) Sustituimos en las literales 0 y 1, como son sumas de productos sabemos

que son miniterminos entonces el 0 se sustituye donde la literal esta negada.
F(a,b,c)=abc+abc+abc+abc+abc
010 011 101 110 111
2
3
5
6
7
Reducimos aplicando postulados y teoremas del algebra de Boole
F(a,b,c)=abc+abc+abc+abc+abc
a(bc+bc)+abc+ab(c+c)
a(b(c+c)+abc+ab
ab+abc+ab
b(a+a)+abc
b+abc
F(a,b,c)=b+ac

P5b
P6a
P6a
P5b
P6a
T9a

Tabla De Verdad
Decimal
0
1
2
3
4
5
6
7

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

ac
0
0
0
0
0
1
0
1

F
0
0
1
1
0
1
1
1

3) De acuerdo a la siguiente tabla de verdad

Decimal
0
1
2
3
4
5
6
7

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

F
0
1
0
0
0
1
1
1

a) Obtener la expresin minima en forma de suma de productos

b) Dibujar el circuito
c) Armar el circuito
a) Como sabemos que hay que obtener la expresin en forma de productos de
suma solo tomamos a las expresiones que como salida nos den 1.
En este caso tomaremos al 1,5,6 y 7

Recordemos que a los mini trminos el 0 se sustituye donde la literal esta

negada entonces aqu hacemos lo contrario sustituimos la negacin en la literal
que tenga 0 en la tabla.
1
5
6
7
001
101 110 111
F(A,B,C)= ABC+ABC+ABC+ABC
Reducimos aplicando postulados y teoremas del algebra de Boole
F(A,B,C)= ABC+ABC+ABC+ABC
BC(A+A)+AB(C+C)
F(A,B,C)= BC+AB

P5b
P6a

Ahora hacemos la tabla de verdad para comprobar que de el mismo resultado

a la salida.
Decimal
0
1
2
3
4
5
6
7

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

B
1
1
0
0
1
1
0
0

BC
0
1
0
0
0
1
0
0

AB
0
0
0
0
0
0
1
1

F
0
1
0
0
0
1
1
1

b) Proseguimos a dibujar el circuito

4) De acuerdo a la siguiente tabla de verdad

Decimal
0
1
2
3
4
5
6
7

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

f1
1
0
0
0
1
0
1
0

f0
0
1
0
1
0
0
1
1

a) f1 suma de productos y reducir funcin

b) Representar a f0 como producto de sumas y reducir la funcin
c) Armar el circuito reduciendo y verificar su funcionamiento.
b) Como sabemos que f0 se representa como producto de sumas es decir
maxiterminos tomamos de la tabla de vedad solo a los que nos entreguen 0 en
la salida.
En este caso tomaremos a 0,2,4 y 5
Recordemos que a los maxitrminos el 1 se sustituye donde la literal esta
negada entonces aqu hacemos lo contrario sustituimos la negacin en la literal
que tenga 1 en la tabla.
0
2
4
5
000
010
100
101
F(A,B,C)= (A+B+C) (A+B+C) (A+B+C) (A+B+C)
Reducimos aplicando postulados y teoremas del algebra de Boole
F(A,B,C)= (A+B+C) (A+B+C) (A+B+C) (A+B+C)
[(A+B)+(CC)][(A+C)+(BB)]
F(A,B,C)= (A+B)(A+C)

P5a
P6b

Tabla De Verdad
Decimal
0
1
2
3
4
5
6
7

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

A
1
1
1
1
0
0
0
0

A+B
1
1
1
1
0
0
1
1

A+C
0
1
0
1
1
1
1
1

F
0
1
0
1
0
0
1
1

5) Dadas las siguientes funciones

f(k,l,m)= [(k+l+m) (k+l+m) (k+l+m) (k+l+m) (k+l+m)]
Reducimos aplicando postulados y teoremas del algebra de Boole
f(k,l,m)= [(k+l+m) (k+l+m) (k+l+m) (k+l+m) (k+l+m)]
T10a
(k+l+m)+ (k+l+m)+ (k+l+m)+ (k+l+m)+ (k+l+m) T6
Klm+ klm+ klm+ klm+ klm
P5b
kl(m+m)+kl(m+m)+klm
P6a
kl+kl+klm
P5b
l(k+k)+klm
P6a
l+ klm
T9a
f(k,l,m)=l+km
Tabla de Verdad
Decimal
0
1
2
3
4
5
6
7

k
0
0
0
0
1
1
1
1

l
0
0
1
1
0
0
1
1

m
0
1
0
1
0
1
0
1

K
1
1
1
1
0
0
0
0

Km
0
1
0
1
0
0
0
0

f
0
1
1
1
0
0
1
1