Prctica de manipulacin algebraica de funciones booleanas

SISTEMAS LOGICOS I

DIGITAL I



PRCTICA DE MANIPULACIN ALGEBRAICA DE FUNCIONES BOOLEANAS




Prctica de manipulacin algebraica de funciones booleanas
Prctica de manipulacin algebraica de funciones booleanas

Se pretende que todos los problemas sean resueltos mediante una manipulacin
algebraica, haciendo uso de las leyes y teoremas del lgebra de Boole.

PROBLEMA NRO. 1:

Simplificar las siguientes funciones booleanas:
a) f1=A+B+ABC
b) f2=A+AB+ABC+ABCD
c) f3=(A+ABC)+(A+ABC)+(A+ABC)
d) f4=ABC+A(B.C)+ABC
e) f5= A+B+ABC
f) f6=ABC+AB+BC+ABC
g) f7=AD+AB+CD+BC
h) f8=AB+BC+ACD
i) f9=E
3
(1,3,6,7)
j) f10=E
4
(0,1,2,3,6,12,14)
k) f11= ABC+ABD+ACD+BCD+ABD+ABC+BD
l) f12=ACD+ABC+ABD+BCD+BCD+ACD
m) f13=[
4
(1,4,6,11,14)
n) f14=[
4
(0,2,7,8,10,15)


PROBLEMA NRO. 2:

Obtener el complemento (o negacin) de cada una de las siguientes funciones lgicas y
despus simplificarlas:
a) f1=A(B+C) (A+B+C)
b) f2=A+(C+B+BD) + (C+BD)
c) f3=(A+BC) (B+AC)(C+AB)
d) f4=A+(C+B+BD). (C+BD)
e) f5=(A+(B+CD).(C+AB)).(B+C)
f) f6= (B(A+C)+A).(B+A)

PROBLEMA NRO. 3:

Determinar las condiciones que deben cumplir las variables booleanas A y B para que
se verifiquen las siguientes ecuaciones:
a) A+AB=0
b) AB=AC
c) ABD+BCD+ACD=ABD+ACD

PROBLEMA NRO. 4:

Determinar ambas formas cannicas, expresadas tanto algebraica como numricamente,
de las siguientes funciones lgicas:
a) f1=A(B+C)+C
b) f2=AB+ABC+AB

3
c) f3= ABCD+ABC+ABD
d) f4=AB+(A+C)B+ABC
e) f5=E
3
(0,1,3,4,5,7)
f) f6=E
4
(0,1,2,3,12,15)
g) f7=(A+B) + ABC+ (A.(B+C))
h) f8=[
4
(0,3,11,15)
i) f9=A(B+C)(B+A)+ABC
j) f10=(ABC+ABD)(C+BD)

PROBLEMA NRO. 5:

Demostrar que las siguientes funciones lgicas son EQUIVALENTES:
f1= ABC+AB+AC+ABC
f2= A+BC

PROBLEMA NRO. 6:

Dada una funcin cuya expresin algebraica es: f=(A+B+C) D
obtener las expresiones cannicas numricas de suma de productos y de producto de
sumas.

PROBLEMA NRO. 7:

Demostrar las siguientes propiedades de la funcin OR-exclusiva:
a) A B=A B=(A B)=(A B)
b) (A B)=AB+AB
c) (A B)= A B=A B
d) A(B C)=AB AC
e) A 1= A
f) A 0 = A
g) Si: A C=B C , entonces : A=B
h) Si: A B=0, entonces : A=B
i) Si: A B C=D, entonces: A B= C D y A= B C D
j) Demostrar si esta identidad es cierta o falsa: A (B+C)=(A B) + (A C)
k) A+B= A B AB
l) Usando la ecuacin k) cualquier expresin puede ser convertida en otra equivalente
conteniendo slo las operaciones XOR y AND. Transformar la siguiente expresin de
esa manera:
f=ABC+ABC+AC

PROBLEMA NRO. 8:

Siendo f= E
4
(5,6,13) y f1=E
4
(0,1,2,3,5,6,8,9,10,11,13) encontrar una funcin f2 tal que
se verifique:
f=f1.f2



4

Soluciones a los Problemas:

Veamos un sumario de las leyes y teoremas del lgebra de Boole que usaremos en la
resolucin de los problemas:

Nro.
Orden
Nombre a) Forma OR b)Forma AND
1 Ley de
IDEMPOTENCIA
A+A=A A.A=A
2 Existencia de
ELEMENTOS
NEUTROS
(Ley de Identidad)
A+0=A A.1=A
3 Ley de ANULACION
(Propiedad de los
elementos neutros)
A+1=1 A.0=0
4 Ley CONMUTATIVA A+B=B+A A.B=B.A
5 Ley ASOCIATIVA (A+B)+C=A+(B+C
)
(A.B).C=A.(B.C)
6 Ley del INVERSO A+A =1 A.A=0
7 Ley DISTRIBUTIVA A.(B+C)=A.B+AC A+B.C=(A+B).(A+C)
8 Ley de ABSORCION A+A.B=A A.(A+B)=A
9 A+(A.B)=A+B A.(A+B)=A.B
10 Ley de CONSENSO AB+BC+AC=AB
+AC
(A+B).(B+C).(A+C)=(A+
B).(A+C)
11 Ley de MORGAN (A+B)=A.B (A.B)=A+B
12 DOBLE NEGACION
(Ley de Involucin)
(A)=A


En las columnas a) y b) se indican las formas DUALES de representacin de cada ley,
ya que el PRINCIPIO DE DUALIDAD establece que si en una identidad se
intercambian entre s las operaciones suma y producto lgicos, y los elementos 0 y 1, la
identidad permanece vlida.
De ahora en adelante, para hacer referencia a una determinada identidad la
identificaremos por la fila y la columna del cuadro. De esta manera, el indicador(6.a)
har referencia a la identidad A+A=1. Esto nos permitir explicar en forma concisa las
respectivas leyes usadas en la manipulacin algebraica.

Solucin Problema nro. 1:

a) f1=A+B+ABC
4.b


f1=A+B+B.AC
9.a

f1=A+B+AC
4.a

5

f1= A+AC
9.a
+ B

f1=A+C+B
4.a

f1=A+B+C

Aplicando (11.b) podra expresarse: f1=(ABC)

b) f2=A+AB+ABC+ABCD
7.a

f2= A+A(B+BC+BCD)
9.a

f2=A+(B+BC+BCD
7.a
)

f2=A+(B+B(C+CD)
9.a


f2=A+(B+B(C+D)
9.a
)

f2=A+(B+(C+D)
5.a
)

f2=A+(B+C+D)
5.a

f2=A+B+C+D

c) f3=(A+ABC)+(A+ABC)+(A+ABC)

(5.a) f3=A+ABC+A
4.a
+ABC+A
4.a
+ABC

f3=A+A
1.a
+ABC+A
4.a
+ABC+ABC

f3=A+A
6.a
+ABC+ABC+ABC

f3=1+(ABC+ABC+ABC)(3.a)

f3=1

d) f4=ABC+A(B.C)
11.b
+ABC

f4=ABC+A(B+C)
7.a
+ABC

f4=ABC+AB
2.b
+AC
2.b
+ABC

f4=ABC+AB.1
6.a
+AC.1
6.a
+ABC

f4=ABC+AB(C+C)
7.a
+AC(B+B)
7.a
+ABC

6
f4= ABC+ABC+ABC+ACB
4.b
+ACB
4.b
+ABC
f4=ABC
4.b
+ABC
4.b
+ABC+ABC+ABC
4.a
+ABC
f4=ACB+ACB
7.a
+ABC+ABC
1.a
+ABC+ABC
f4=AC(B+B)
6.a
+ABC
4.a
+ABC
4.a
+ABC
f4=AC.1
2.b
+ACB+ACB
7.a
+ABC
f4=AC+AC(B+B)
6.a
+ABC
f4=AC+AC.1
2.b
+ABC
f4=AC+AC
7.a
+ABC
f4=A(C+C)
6.a
+ABC
f4=A.1
2.b
+ABC
5.b
f4=A+A(BC)
9.a
f4=A+BC

Otra forma de resolverlo:
f4=A(BC+(BC))+ABC
f4=A+ABC=A+BC
Otra opcin: f4=BC+(A+A)+A(BC)
f4=BC+(BC)A=BC+A

e) f5= A+B+ABC
4.a

f5=A+ABC
8.a
+B

f5=A+B


f) f6=ABC+AB+BC+ABC
4.af6=ABC+ABC
7.a
+AB+BC
f6=AC+(B+B)
6.a
+AB+BC

7
f6=AC.1
2.b
+AB+BC
f6=AC+AB+BC
4.af6=AB+BC+AC
10.a
f6=AB+AC
g) f7=AD
2.b
+AB+CD+BC

f7=AD.1
6.a
+AB+CD
4.a
+BC

f7=AD(C+C)
7.a
+CD+AB+BC

f7=ADC
4.a
+ADC
4.a
+CD+AB+BC

f7=ACD
2.b
+ACD+CD
7.a
+AB+BC

f7=ACD.1
6.a
+CD(A+1)
3.a
AB+BC

f7=ACD(B+B)
7.a
+CD.1
2.b
+AB+BC

f7=ABCD+ABCD+CD+AB+BC

4.af7=ABCD
4.b
+BC+ABCD+AB
8.a
+CD

f7=BCAD+BC
8.a
+AB+CD

f7=BC+AB+CD

h) f8=AB
2.b
+BC
2.b
+ACD

f8=AB.1
6.a
+BC.1
6.a
+ACD

f8=AB.(C+C (C+D))
(7.a)
+ BC.(D+D.(A+A)
(7.a)
+ACD
f8=ABC+ABCD+ABCD+BCD+BCDA+BCDA+ACD
(7.a)

f8=ABC+ACD+(B+B)
(6.a)
+ABCD+BCD+ABCD+ACD
-------------------
(2b)

f8=ABC+ACD+ABCD
(7.a)
+BCD+ABCD+ACD
f8=ABC+AC(D+DB)
(9.a)
+BCD+ABCD
(4.a)
+ACD
f8=ABC+AC(D+B)
(7.a)
+ABCD+BCD+ACD
f8=ABC+ACD+ACB+ABCD+BCD+BCD+ACD

8
(7.a)
f8=ABC+CD(A+ABC)
(9.a)
+ABC+BCD+ACD
(7.a)
f8=AB(C+C)
(6.a)
+CD(A+BC)
(7.a)
+BCD+ACD
------------(2.b)
f8=AB+ACD+BCD+BCD
(7.a)

(6.a)

(2.b)
+ACD
f8=AB+ACD+BC+ACD (7.a)
f8=AB+BC+AD(C+C)
(6.a)

-----------(2.b)

f8=AB+BC+AD

i)f9=
3
(1,3,6,7)
Tener presente que esta forma de notacin indica la correpondiente SUMA DE
PRODUCTOS CANNICOS (minterm). Es decir dara el equivalente decimal de
TODAS las filas donde la tabla presenta un 1 a su salida.
Para evitar ambigedades entre la notacin NUMRICA y la
ALGEBRAICA hay que convenir en el ordenamiento que
tendrn las variables (literales) en la tabla. Convendemos en
asignar el literal que aparezca en primer trmino entre
parntesis al bit ms significativo (MSB) y de ah en adelante
ordenando en forma correlativa. Por ejemplo :
f(X,Z,W)=
3
(1,4)=XZW+XZW
Se deja constancia que esta CONVENCIN no es universal
(hay autores que ordenan las tablas al revs). Es simplemente
una manera de ponernos de acuerdo en la notacin. En caso de
no estar especificadas las variables, asignaremos el MSB al
literal A, el siguiente al B,etc. Por lo dicho resulta:
F9=
3
(1,3,6,7)=ABC+ABC+ABC+ABC
001 011 110 111
Notar que cada minterm puede escribirse pensando en la
notacin binaria del equvalente decimal, sin armar la tabla, negando la variable cuando
en la respectiva combinacin de entradas el respectivo bit es 0 y dejndola sin negar
en caso que sea 1 .
N ABC f 9
0 000 0
1 001 1
2 010 0
3 011 1
4 100 0
5 101 0
6 110 1
7 111 1

9
f 9= AC(B+B)
( 6 a )
+AB(C+C)
(6a)
= AC . 1
(2a)
+ AB .1
(2a)
= AC+AB

j) f 10=
4
(0,1,2,3,6,12,14)
f 10= ABCD+ABCD
(7a)
+ABCD+ABCD
(7a)

+ABCD+ABCD+ABCD
(7a)

f 10= ABC(D+D) + ABC(D+D) +ABCD+ ABD(C+C)
f 10= ABC+ABC+ABCD+ABD
f 10= AB(C+C) +BD(AC+A)
(9a)

f 10 = AB+BD(C+A) = AB+BCD+ABD
Observacin: notar que la manipulacin algebraica no constituye una manera
sistemtica de simplificacin, y no asegura el logro de la mxima simplificacin, es
decir, la obtencin de una expresin MNIMA EQUIVALENTE

Solucin problema N 2
Este problema nos permitir ejercitarnos en el uso de las leyes de De Morgan
a) f1= A(B+C)(A+B+C)
f 1 = (A(B+C)(A+B+C)) = (A) + (B+C) +(A+B+C)
f 1 = A+BC+ABC
(7.a)
f 1 = A+C(B+BA)
(9.a)
= A+C.(B+A
(7.a)
) = A+BC+AC
f 1 = A+AC
(9.a)
+BC = A+C+BC
(8.a)
= A+C

b) f2= A+(C+B+BD)+(C+BD).
f 2= (A+(C+B+BD)+(C+BD))
f 2 = A.(C+B+BD)
(9.a)
. (C+BD)
f 2= A.(C+B+D)
(11.a)
..(C.(BD)
(11.b)


f 2= A.(CBD).(C(B+D)) = C.C
(6.b)
. (ABD(B+D))
f 2 = 0.( )
(3.a)
. = 0

10

c) f 3= (A+BC).(B+AC).(C+AB)
f 3 = ( (A+BC).(B+AC).(C+AB) )
f 3= (A+BC)+(B+AC)+(C+AB)
f 3= A.(BC)+B.(AC)+C.(AB)
f 3= A.(B+C)+B.(A+C)+C.(A+B)
f 3= AB+AC+AB+BC+AC+BC
f 3= AB(C+C)+ AC (B+B)+AB+BC(A+A)+AC+BC(A+A)
f 3=ABC + ABC + ABC +ABC + AB+ABC
(8.a)
+ ABC
(1.a)
+AC+ABC
(8.a)
+
ABC
(1.a)

f 3=ABC+ABC
(7.a)
+ABC+AB
(7.a)
+AC
f 3=AB(C+C)
(6.a)
+B(AC+A)
(9.a)
+AC
f 3=AB.1
(2.b)
+B(C+A)
(7.a)
+AC

f 3=AB +BC+AB+AC


d) f4=A+(C+B+BD).(C+BD)
f 4= (A+(C+B+BD).(C+BD)) .Por (11.a) resulta:
f 4=A.((C+B+BD)
(9a)
.(C+BD))
f 4= A.((C+B+D).(C+BD))
(11.b)

f 4= A.((C+B+D)+(C+BD))
f 4= A.(CBD+C.(BD))
(7a)

f 4= ABCD+ AC(BD)
(11.b)
= ABCD+AC(B+D)
(7.a)

f 4= ABCD+ ABC+ACD

Solucin problema N 3
a) Para que sean A+AB
(9 a)
= A+B= 0 deben ser A=0 o sea A=1 y adems B=0

11
Por lo tanto, las condiciones que deben cumplir son:
A=1 B=0
b) Para que se verifique AB=AC debe ocurrir que sea A=0 ( ByC cualesquiera) o
bien que sea B=C ( A cualquiera)
c) ABD+BCD+ACD= ABD+ACD D(AB+BC+AC) = D(AB+AC)
AB+BC+AC=AB+AC
Por ley de CONSENSO (10a) la identidad es vlida siempre

Solucin problema N 4
a) f1= A(B+C)+C
dada una expresin algebraica, aplicando la propiedad DISTRIBUTIVA (( 7 a) y (7 b))
primeramente se le lleva a suma de productos o a producto de sumas segn cual sea la
forma cannica buscada.
En el caso de suma de productos, se multiplica cada producto por la suma de las
variables que faltan en l y sus inversas ((2b)(6a)), y se distribuye (7a) y se suprimen
los trminos repetidos (1a) . Es decir :

f1= A(B+C)+C=AB+AC+C

f1 = AB.(C+C)+AC.(B+B)+C.(A+A).(B+B)
f1 = ABC+ABC+ABC+ABC+.(AC+AC).(B+B)
f1 = ABC+ABC+ABC+ABC+ABC+ABC+ABC+ABC
f1 = ABC+ABC+ABC+ABC+ABC+ABC
Expresin algebraica de la primer forma cannica tambien llamada SUMA DE
PRODUCTOS CANNICOS o EXPRESIN NORMAL DISJUNTA .
La expresin numrica de la primer forma cannica se obtiene reemplazando
directamente cada minterm. de la expresin algebraica por su equivalente decimal:
f1=
3
(5,4,6,7,3,1) =
3
(1,3,4,5,6,7)

12
En el caso de Producto de sumas, se le suma a cada una de las sumas el producto de
cada variable que falta en ella por su inversa ((2a) y (6b)), y se distribulle (7 b) y se
suprimen los trminos repetidos (1 b). Es decir:
f1= A.(B+C)+C = (A+C).((B+C)+C) = A+C = (A+C)+BB

7 b
=1
f1 = (A+C+B).(A+B+C) = (A+B+C).(A+B+C)

Expresin algebraica de la segunda forma cannica tambin llamada PRODUCTO DE
SUMAS CANNICAS o Expresin normal Conjunta. La expresin numrica de la
segunda forma cannica se obtiene reemplazando directamente cada maxterm. de la
expresin algebraica por su equivalente decimal, teniendo presente en ste caso, para
determinarlo, a cada variable negada le corresponde un 1 y a la variable sin negar le
corresponde un 0. Es decir:
f1= H
3
(0,2)
Adems, podra haberse obtenido la expresin NUMRICA DE LA PRIMER FORMA
CANNICA a partir de la expresin NUMRICA DE LA
SEGUNDA FORMA CANNICA (y viceversa),
reemplazando los smbolos de y H (o viceversa), y
completando con los nmeros correspondientes a los
eventos de entrada no considerados en la expresin de
origen para los cuales la funcin est ESPECIFICADA. Los
eventos de la entrada para los cuales la funcin no est
especificada (REDUNDANCIAS), mantienen sus nmeros.
Veamos un ejemplo:
f=
3
(1,2,5,7)+
3
| (0,4)
f= H
3
(3,6). H
3
| (0,4)




Si se necesita determinar la expresin numrica de una funcin partiendo de la
expresin NUMERICA de su COMPLEMENTO, bastar intercambiar los smbolos de
y H manteniendo los nmeros. Es decir:
Si: f =
3
(1,2,5,7) +
3
| (0,4) f = H
3
(1,2,5,7) . H
3
(0,4)
N ABC f
0 000 --
1 001 1
2 010 1
3 011 0
4 100 -
5 101 1
6 110 0
7 111 1

13

Si: f = H
3
(3,6) . H
3
| (0,4) f =
3
(3,6) +
3
| (0,4)

b) f2 = AB+ABC+AB
F2 = ABC+ABC+ABC+AB(C+C)
f2 = ABC+ABC+ABC+ABC+ABC
f2 =
3
(7,6,5,1,0) f2 = 3 (0,1,5,6,7)

f2 = H
3
(2,3,4) f2 = (A+BC).(A+B+C).(ABC)

c) f3 = ABCD+ABC+ABD
f3 = ABCD+ABC.(D+D)+ABD.(C+C)
f3 = ABCD+ABCD+ABCD+ABCD+ABCD
f3 =
4
(14,13,12,7,5) f3 =
4
(5,7,12,13,14)

f3 = H
3
(0,1,2,3,4,6,8,9,10,11,15)

f3=(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).
(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).
(A+B+C+D)

d) f4 = AB+(A+C)B+ABC
f4 = AB+AB+BC+ABC
8.a
= AB+AB+BC
f4 = (AB+AB).(C+C)+BC.(A+A)
F4 = ABC+ABC+ABC+ABC+ABC+ABC

14
f4 = ABC+ABC+ABC+ABC+ABC
f4 =
3
(7,6,5,4,1) f4 = H
3
(0,2,3)
f4 = (A+B+C).(A+B+C).(A+B+C)
sta ltima expresin podra haber sido obtenida expandiendo la expresin algebraica
original, de esta manera:
f4 = AB+AB
7.a y 6.a

+BC = A+BC
7.b

= (A+B).(A+C)
f4 = ((A+B)+CC).((A+C)+BB) distribuyendo:
f4 = (A+B+C).(A+B+C).(A+B+C).(A+B+C)
f4 = (A+B+C).(A+B+C).(A+B+C)

e) f5 =
3
(0,1,3,4,5,7) f5 = H
3
(2,6)

f5 = ABC+ABC+ABC+ABC+ABC+ABC

f5 = (A+B+C).(A+B+C)

f) f6 =
4
(0,1,2,3,12,15)
f6 = ABCD+ABCD+ABCD+ABCD+ABCD+ABCD
f6 = H
4
(4,5,6,7,8,9,10,11,13,14)
f6=(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C
+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D)

g) f7 = (A+B)+ABC+(A.(B+C))
f7 = AB+ABC+(A+(B+C))

15
f7 = A.(B+BC+1)+BC = A+BC
f7 = A.(B+B).(C+C)+BC.(A+A)
f7 = (AB+AB).(C+C)+ABC+ABC
f7 = ABC+ABC+ABC+ABC+ABC+ABC
f7 = ABC+ABC+ABC+ABC+ABC

f7 =
3
(3,2,1,0,4) =
3
(0,1,2,3,4) F7 = H
3
(5,6,7)

f7 = (A+B+C).(A+B+C).(A+B+C)

Solucin problema N 5:
f1 = ABC+AB+AC+ABC
f2 = A+BC
Dos funciones lgicas son equivalentes si tienen la misma TABLA DE VERDAD.
Dado que la forma cannica extraida de una determinada tabla de verdad es nica, si
dos funciones tienen la misma expresin CANNICA, es que son EQUIVALENTES.
Por lo tanto, sacaremos las respectivas formas cannicas de f1 y f2 para ver si son
iguales.
f1 = ABC+AB(C+C)+AC.(B+B)+ABC
f1 = ABC+ABC+ABC+ABC+ABC+ABC
f1 = ABC+ABC+ABC+ABC+ABC
f1 =
3
(7,5,4,6,3) f1 =
3
(3,,4,5,6,7)

f2 = A.(B+B).(C+C)+BC.(A+A) = (AB+AB).(C+C)+ABC+ABC
f2 = ABC+ABC+ABC+ABC+ABC+ABC
f2 = ABC+ABC+ABC+ABC+ABC

16
f2 =
3
(7,6,5,4,3) f2 =
3
(3,4,5,6,7)
Por lo tanto, f1 y f2 son EQUIVALENTES.
ste ejemplo permite observar que aunque una forma cannica requiera ms smbolos,
es ms fcil de identificar visualmente por la regularidad de su estructura.

Solucin problema N 6:
f f f donde:
f A B C)
f D
f A B C A B C (D D ) A B C D A B C D f (1,0) (0,1)
f D
1 2
1
2
1 1
4 4
2
=
= + + '
= '

= ' ' ' = ' ' ' + ' = ' ' ' + ' ' ' ' = =
= '


Aparecern todos los trminos cuyo bit menos significativo (LSB) sea cero, es decir,
todos los trminos pares, por lo tanto:
f (0,2,4,6,8,10,12,14)
2
4
=

Por definicin de OR-exclusiva, la funcin f f f
1 2
= adoptar al valor lgico 1
para aquellas combinaciones de entrada para las que las funciones f
1
y f
2
adopten
valores diferentes. Es decir, aparecern los minterm 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 4
= =


Solucin problema N 7:


17
a) f = A B f = A B f = (A B) f = (A B )
f A B AB
f A B (A ) B A (B ) AB A B f f
f (A B) ((A ) B A B ) (AB A B ) (AB) .(A B )
(A B ).(A B) 0 A B B A 0 f f
f (A B ) (A B A(B )
1 2 3 4
1
2 2 1
3
3 1
4
' ' ' ' ' '
= ' + '
= ' ' = ' ' ' + ' ' ' = ' + ' =
= ' ' = ' ' + ' ' ' = + ' ' ' = ' ' ' ' =
= ' + ' + = + ' + ' + =
= ' ' = ' ' + ' ' ' ) (A B AB) f f f
b) f (A B) f AB A B
f (A B AB ) (A B) .(AB ) (A B ).(A B) 0 AB B A 0 f
c) f (A B) f A B f A B
f AB A B
f A B A(B ) A B AB f f
f (A ) B A B AB A B f f
3 4 1
1 2
1 2
1 2 3
1
2 2 1
3 3 1
= ' ' + ' = =
= ' = + ' '
= ' + ' ' = ' ' ' ' = + ' ' + = + + ' + =
= ' = ' = '
= + ' '
= ' ' + ' ' = ' ' + =
= ' ' + ' ' = + ' ' =

d) f A(B C) f AB AC
f A(B C) A(B C BC ) AB C ABC
f AB AC (AB) (AC) (AB)(AC) (A B )AC AB(A C )
f 0 AB C 0 ABC AB C ABC
f f
1 2
1
2
2
1 2
= =
= = ' + ' = ' + '
= = ' + ' = ' + ' + ' + '
= + ' + + ' = ' + '
=


e) A 1 A .1 A.1 A 1.0 A
f) A 0 A .0 A.0 0 A.1 A
g) A C B C
A C A C AC
B C B C BC
A C AC B C BC A B
h) A B 0 A B AB 0
A B 0
AB 0
A B
= ' + ' = ' + = '
= ' + ' = + = '
=
= ' + '
= ' + '

`
)
' + ' = ' + ' =
= ' + ' =
' =
' =

`
)
=


i) Probaremos primero que si: x yentonces x y = = o o ( ) 1
Si x y x
Si x y x
quedademostrado
= = = =
= = = ' =

`
)

o o o
o o o
0 0
1 1
1 ( )
Por lo tanto:

18
A (B C) D A (B C) D (2)
(A B) C D (A B) C D (3)
= =
= =

Faltara demostrar: A B C A (B C) (A B) C (4) = =
A (B C) = A (B C + BC ) + A(B C + BC) = A B C + A BC + AB C + ABC = (1,2,4,7)
3
(A B) C = (A B + AB)C + (A B + AB )C = A B C + ABC + A BC + AB C = (1,7,2,4)
3
' ' ' ' ' ' ' ' ' ' '
' ' ' ' ' ' ' ' ' ' '

Adems, por definicin de XOR, la funcin adopta el valor 1 cuando hay un nmero
impar de entradas en 1 =

A B C (1,2,4,7)
3

Con lo que queda demostrado (4)
A B C D
(A B) C D A B C D
A (B C) D A (B C) D B C D
demostrado
4
3
2
=
= =
= = =

j)
(A B) (A C) A B AB A C AC A (B C) A(B C )
A (B C) A (B C) A(B C)
+ = ' + ' + ' + ' = ' + + ' + '
+ = ' + + + '

Por ley de Morgan:
(B C) B C B C (A B) (A C) A (B C) + ' = ' ' = ' + ' + = +

k) f A B f A B AB
f (A B) AB (A B) AB (A B)(AB)
(A B AB)AB (A B AB )(A B )
0 AB A B 0 0 AB A(B B ) A B A A B A B f1
1 2
2
= + =
= = ' ' + ' =
= ' ' + + ' + ' ' + ' =
= + + ' + + + ' = + ' + ' = + ' = + =


l) f ABC AB C A C
7a
ABC C(A AB
9a
) ABC C(A B
12
)
ABC C.[(A B
11a
) ] ABC C(AB) AB C
= ' + ' + ' = ' + ' + ' = ' + ' + ' =
= ' + ' + ' ' ' = ' + ' =



Solucin problema N 8:
f (5,6,13)
f (0,1,2,3,5,6,8,9,10,11,13)
4
1
=
=

19
Como f f . f
1 2
= ' , si expresamos las funciones como producto de sumas cannicas
(maxterm), los maxterm de f
2
deben completar los maxterm que le falten a f
1
para
lograr f, sin agregar ningn maxterm que no est en f.
f (0,1,2,3,4,7,8,9,10,11,12,14,15)
f (4,7,12,14,15)
4
1
4
=
=
[
[

Por lo dicho anteriormente ser:
' = - C
[ [
f (0,1,2,3,8,9,10,11) (4,7,12,14,15)
puedeaparecer ono
(seranredundanciasenla tablade verdad)
2
4 4


Aplicando la Doble Negacin (12) y la ley de De Morgan (11.b) resulta:
f (f ) ( (0,1,2,3,8,9,10,11) (4,7,12,14,15)
2
= ' ' = - C
[ [

Segn lo explicado en pg.12, ser:

f (0,1,2,3,8,9,10,11) (4,7,12,14,15)
2
4 4
= + C



Notar que los trminos redundantes podran ser includos o no, a los efectos de lograr
una mayor simplificacin en el proceso de minimizacin de la funcin.